Sync date_diff and DateTime::diff return type

This function/method cannot return false.

diff --git a/ext/date/php_date.stub.php b/ext/date/php_date.stub.php
index fef4ffb02f070cc625a807a6dcad63180838b2c4..cb01b7e07384fd9cc72b0f15b04ff33d5c5f2197 100644 (file)
--- a/ext/date/php_date.stub.php
+++ b/ext/date/php_date.stub.php
@@ -238,7 +238,7 @@ class DateTime implements DateTimeInterface
     public function getTimestamp() {}
 
     /**
-     * @return DateInterval|false
+     * @return DateInterval
      * @alias date_diff
      */
     public function diff(DateTimeInterface $targetObject, bool $absolute = false) {}
@@ -291,7 +291,7 @@ class DateTimeImmutable implements DateTimeInterface
     public function getTimestamp() {}
 
     /**
-     * @return DateInterval|false
+     * @return DateInterval
      * @alias date_diff
      */
     public function diff(DateTimeInterface $targetObject, bool $absolute = false) {}

diff --git a/ext/date/php_date_arginfo.h b/ext/date/php_date_arginfo.h
index 7be0de2e0214f4f132653a937b69a80aaa84ef3d..cf50abb43faf869d3ef70e3db86a6ce051203072 100644 (file)
--- a/ext/date/php_date_arginfo.h
+++ b/ext/date/php_date_arginfo.h
@@ -1,5 +1,5 @@
 /* This is a generated file, edit the .stub.php file instead.
- * Stub hash: 339c2c91f38eeaafac6134ac04573243069502f5 */
+ * Stub hash: 880a93d8a3461635447318317869fa7d3d7762dd */
 
 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)