> (3) We cannot disable/remove ereg at compile time (today) > > I'm suggesting we alter (3) so that we, the people who compile > PHP, can optionally remove this extension from our PHP 5.4+.
For what it's worth, I was able to successfully remove ereg from PHP 5.3 (.6, I think; this was a while ago) by just removing ext/ereg from the source tree before running configure (same with reflection and spl). I presume though that this only worked because I happened to disable all extensions that depended on ereg at the same time. Even so, an option would be useful even if it was accompanied by a warning saying that it might break the build depending on other extension choices. -- Oleg -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php