[web-php] PR #655: Fix mousetrap.js
| From: | kamil-tekiela | Date: | Thu, 14 Jul 2022 22:41:55 +0000 |
| Subject: | [web-php] PR #655: Fix mousetrap.js | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-30399@lists.php.net to get a copy of this message | ||
Pull Request: https://github.com/php/web-php/pull/655
Author: kamil-tekiela
Turns out that the file we had stored locally for this library contained an official extension.
While I updating, I accidently removed that extension. Let's bring it back. Copied from https://raw.githubusercontent.com/ccampbell/mousetrap/master/plugins/pause/mousetrap-pause.min.js