date_default_timezone_set  445 ext/date/php_date.c 	PHP_FE(date_default_timezone_set, arginfo_date_default_timezone_set)
date_default_timezone_set 4593 ext/date/php_date.c PHP_FUNCTION(date_default_timezone_set)
date_default_timezone_set  117 ext/date/php_date.h PHP_FUNCTION(date_default_timezone_set);