date_default_timezone_set  447 ext/date/php_date.c 	PHP_FE(date_default_timezone_set, arginfo_date_default_timezone_set)
date_default_timezone_set 4683 ext/date/php_date.c PHP_FUNCTION(date_default_timezone_set)
date_default_timezone_set  114 ext/date/php_date.h PHP_FUNCTION(date_default_timezone_set);