>  (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

Reply via email to