Hi Pierre,Like I said on IRC, if the ext end up being broken, but remain in core they can get fixed and made available easily to all users. If we move them, then this is no longer possible. We can revist this topic for PHP6, but I do not think we should start dropping these extension in 5.3.
regards, Lukas Kahwe Smith [EMAIL PROTECTED] -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
