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

Reply via email to