Pierre wrote:
It should not be possible to disable it. Or even better, we should move what we consider as core from SPL to Zend.
Amen. regards, Lukas -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php