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