Damian Wadley wrote: > I don't mind the few clicks to close bugs if someone else spends the > time to find them!.
Thanks -- that makes it more encouraging to use <https://bugs.php.net/random>. :) If you have some time, you may have a look at the following: <https://bugs.php.net/bug.php?id=52895> <https://bugs.php.net/bug.php?id=52287> -- Christoph M. Becker -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php