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