Sorry, I didn't notice that https://bugs.php.net/bug.php?id=79194 was already 
closed with a similar answer.
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to