php_date_timezone_set 3291 ext/date/php_date.c 	php_date_timezone_set(object, timezone_object, return_value);
php_date_timezone_set 3310 ext/date/php_date.c 	php_date_timezone_set(&new_object, timezone_object, return_value);