set_timezone_from_timelib_time 3306 ext/date/php_date.c 		set_timezone_from_timelib_time(tzobj, dateobj->time);
set_timezone_from_timelib_time 3669 ext/date/php_date.c 		set_timezone_from_timelib_time(tzobj, dummy_t);