> Is there any chance you can log this in https://bugs.php.net/
See https://bugs.php.net/bug.php?id=63235 Remi. -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
> Is there any chance you can log this in https://bugs.php.net/
See https://bugs.php.net/bug.php?id=63235 Remi. -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php