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