Hi Thomas,

Thank you for that note. I've just filed a PR to change the default in PHP
7.2 and hope this may also make it into PHP 7.1 and 7.0.

https://github.com/php/php-src/pull/2518

Regards, Niklas

Reply via email to