Hi again, I finally wrote a patch to get rid of it:
https://github.com/php/php-src/pull/2118 Perhaps this will go somewhere. :) -- Andrea Faulds https://ajf.me/ -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php