You can view the Pull Request on github: https://github.com/php/web-php/pull/77
Warning: according to github, the Pull Request cannot be merged without manual conflict resolution! Pull Request Description: Time sensitive. Please merge ASAP. -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php