php_date_time_set 3375 ext/date/php_date.c 	php_date_time_set(object, h, i, s, return_value);
php_date_time_set 3394 ext/date/php_date.c 	php_date_time_set(&new_object, h, i, s, return_value);