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