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