Pull Request: https://github.com/php/web-php/pull/616 Author: rmunsky
Hi it would be great if you could merge this pull request. Thanks in advance, Robert -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
