Description:
------------
I read in the "PHP Time Handling" talk at http://www.derickrethans.nl/files/time-ac2005.pdf on slide 24 that there was a new date-related function called "timezone_identifiers_list()". This function also appears in the "Functions in PHP CVS but not PHP Documentation" list, at http://www.phpdoc.info/meta/phpsrc-vs-phpdoc.php , so I hope I'm correct in assuming that this function should work in the latest PHP 5.1 CVS snapshot. However, I get an "undefined function" error when calling this function:

======================================================
ludo:~/tmp/php-5.1-dev/my-bugs/timezone_identifiers_list# cat print_timezones.php 
<?php
$tzs = timezone_identifiers_list();      
print_r($tzs);
?>
======================================================

Error:
======================================================
ludo:~/tmp/php-5.1-dev/my-bugs/timezone_identifiers_list# ~/tmp/php-5.1-dev/php5-200509050430/sapi/cli/php ./print_timezones.php 
PHP Fatal error:  Call to undefined function timezone_identifiers_list() in /root/tmp/php-5.1-dev/my-bugs/timezone_identifiers_list/print_timezones.php on line 2
ludo:~/tmp/php-5.1-dev/my-bugs/timezone_identifiers_list# 
======================================================