Possible patch for the issue at https://gist.github.com/bof/15173c7a11cb12a7b96f
with an explanatory comment in the bug report https://bugs.php.net/bug.php?id=68486 at [2015-03-14 10:34 UTC] Have a nice weekend Patrick -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
