[EMAIL PROTECTED] wrote: > ANother possibility is to take the CLI out of 4.2.0,
+1 from me. We have lived without the CLI for some time now. If we introduce it, it should be done right (correct defaults, reading preferences the right way). Kristian -- PHP Development Mailing List <http://www.php.net/> To unsubscribe, visit: http://www.php.net/unsub.php