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