php_date_timestamp_set 3536 ext/date/php_date.c 	php_date_timestamp_set(object, timestamp, return_value TSRMLS_CC);
php_date_timestamp_set 3554 ext/date/php_date.c 	php_date_timestamp_set(new_object, timestamp, return_value TSRMLS_CC);