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