public function setTimestamp(int $timestamp) {}
/**
- * @return int
+ * @return int|false
* @alias date_timestamp_get
*/
public function getTimestamp() {}
public function getOffset() {}
/**
- * @return int
+ * @return int|false
* @alias date_timestamp_get
*/
public function getTimestamp() {}
/* This is a generated file, edit the .stub.php file instead.
- * Stub hash: 65e429036ef2ee45f31688bc2af94dc26a1b973a */
+ * Stub hash: 1e51225485aa1a03fd2f58c9c85625b340de3d9d */
ZEND_BEGIN_ARG_WITH_RETURN_TYPE_MASK_EX(arginfo_strtotime, 0, 1, MAY_BE_LONG|MAY_BE_FALSE)
ZEND_ARG_TYPE_INFO(0, datetime, IS_STRING, 0)