Hi Julien, I am unsure of the timing windows for things being committed to being in a release, but it seems unfortunate to not have this included:
https://github.com/php/php-src/commit/86f983bd3ea13def42e36842e03f785d02d40a7f cheers Dan -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
