orig_tz          3609 ext/date/php_date.c 	char         *orig_tz = tz;
orig_tz          3618 ext/date/php_date.c 		php_error_docref(NULL, E_WARNING, "Unknown or bad timezone (%s)", orig_tz);