php_date_timezone_initialize_from_hash 3707 ext/date/php_date.c 	if(php_date_timezone_initialize_from_hash(&return_value, &tzobj, myht) != SUCCESS) {
php_date_timezone_initialize_from_hash 3725 ext/date/php_date.c 	if(php_date_timezone_initialize_from_hash(&return_value, &tzobj, myht) != SUCCESS) {