I wrote:
Though there's already a diff against HEAD, but it's now about 7 hours old, so it may be inapplicable.http://dev.iworks.at/PATCHES/
Actually it seems that there were no more commits, so the available patch should work fine. Regards, Mike -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php