http://bugs.php.net/45351
I have attached a patch to the feature request. IIRC I should just ask here whether someone is willing to commit it. So, anyone willing to help me? :) -- Jille -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php