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 -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
