+1
This patch not only fixes the above mentioned bugs, but also serveral backwards compatibility issues that occured due to the fix for bug #18140.
Can you provide an example?
Zeev
-- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php