On Tue, 18 Jul 2006 07:23:41 -0700 [EMAIL PROTECTED] (Rasmus Lerdorf) wrote:
> I think we need to rename it. php_date or _date or something. I > don't really care what the name is, but I think we are too late in > the game to get the 'date' identifier. The other functions enabled > are fine and quite necessary actually. Both > timezone_abbreviations_list() and timezone_identifiers_list() are > quite useful. To be honest, we agreed only on date_sun_info and nothing else. It was on line since weeks if not months. That said, it makes no sense to rename it only to enable a dummy date class and that's true for all new additions. Before someone comes in and says that PEAR or any other projects don't care about PHP5 and common names/prefix, please consider to read: http://pear.php.net/pepr/pepr-proposal-show.php?id=419 and http://pear.php.net/pepr/pepr-proposal-show.php?id=420 These processes take time and not only for pear. Cheers, --Pierre -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
