php_date_time_set 3459 ext/date/php_date.c 	php_date_time_set(object, h, i, s, return_value TSRMLS_CC);
php_date_time_set 3477 ext/date/php_date.c 	php_date_time_set(new_object, h, i, s, return_value TSRMLS_CC);