On Wed, 2007-07-18 at 10:20 +0200, Derick Rethans wrote: > On Wed, 18 Jul 2007, Zeev Suraski wrote: > > As for ereg - especially in light of the discontinuation of PHP 4 we > > shouldn't even consider removing it in PHP 5. > > I don't think anybody wanted to remove it in PHP 5 - just make it > possible to disable as an extension.
I guess it was misunderstood: All the talk about it concerns HEAD only, not PHP 5. But I will MFH the move to ext in PHP_5_3 though. Helps future merges around when the changes are in both branches. --Jani -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
