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