date_object_new_timezone_ex 2229 ext/date/php_date.c 	return date_object_new_timezone_ex(class_type, 1);
date_object_new_timezone_ex 2235 ext/date/php_date.c 	php_timezone_obj *new_obj = php_timezone_obj_from_obj(date_object_new_timezone_ex(old_obj->std.ce, 0));