php_date_timezone_set 3307 ext/date/php_date.c 	php_date_timezone_set(object, timezone_object, return_value TSRMLS_CC);
php_date_timezone_set 3325 ext/date/php_date.c 	php_date_timezone_set(new_object, timezone_object, return_value TSRMLS_CC);