php_date_timestamp_set 3524 ext/date/php_date.c 	php_date_timestamp_set(object, timestamp, return_value);
php_date_timestamp_set 3543 ext/date/php_date.c 	php_date_timestamp_set(&new_object, timestamp, return_value);