You can view the Pull Request on github: https://github.com/php/web-php/pull/66
Pull Request Description: This commit applies @marcioAlmada's pull request (https://github.com/php/web-php/pull/53), additionally cleaning it up, as requested by @bjori in https://github.com/php/web-php/pull/53#discussion-diff-24725253. I believe this would also help take care of https://github.com/phpbrew/phpbrew/issues/376 This closes https://github.com/php/web-php/pull/53 -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
