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
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