On 18.07.2006 17:23, 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.
<font size="1000">+1</font>.
--
Wbr,
Antony Dovgal
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
