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