Why not disable all extensions by default and add a configuration utility that is launched before compilation--sort-of like the Linux kernel?
We had one of those once, it was so popular that nobody even said anything when we removed it :)
Zeev
-- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
