On 29.07.2016 at 10:30, Anatol Belski wrote: > And yes, we have to add this at least to the php.ini-* docs. For the record, Anatol has just done that, see <https://github.com/php/php-src/commit/1666e80>. It has also been added to the manual, see <http://svn.php.net/viewvc?view=revision&revision=339740>. -- Christoph M. Becker -- PHP Windows Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
