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