More precise type information for datefmt_format()

Author: kocsismate

ext/intl/dateformat/dateformat.stub.php

@@ -97,7 +97,7 @@ public function setLenient(bool $lenient) {}
     public function isLenient() {}
 
     /**
-     * @param object|array|string|int|float $value
+     * @param IntlCalendar|DateTimeInterface|array|string|int|float $value
      * @return string|false
      * @alias datefmt_format
      */

ext/intl/dateformat/dateformat_arginfo.h

@@ -1,5 +1,5 @@
 /* This is a generated file, edit the .stub.php file instead.
- * Stub hash: 6e7935cd23cd9bba625cf65d08d8e3796f938d74 */
+ * Stub hash: 3a62c7f1ca8cddeb1cde1c0a9a889b5b841bc7cc */
 
 ZEND_BEGIN_ARG_INFO_EX(arginfo_class_IntlDateFormatter___construct, 0, 0, 3)
 	ZEND_ARG_TYPE_INFO(0, locale, IS_STRING, 1)

ext/intl/php_intl.stub.php

@@ -183,7 +183,7 @@ function datefmt_set_lenient(IntlDateFormatter $df, bool $lenient): void {}
 
 function datefmt_is_lenient(IntlDateFormatter $df): bool {}
 
-/** @param object|array|string|int|float $value */
+/** @param IntlCalendar|DateTimeInterface|array|string|int|float $value */
 function datefmt_format(IntlDateFormatter $df, $value): string|false {}
 
 /**

ext/intl/php_intl_arginfo.h

@@ -1,5 +1,5 @@
 /* This is a generated file, edit the .stub.php file instead.
- * Stub hash: 943baf02eee2f720a45106e379534b3d4adc3072 */
+ * Stub hash: f9cf4cbb4f8f827689042cfa0524bae487ed6aaf */
 
 ZEND_BEGIN_ARG_WITH_RETURN_OBJ_INFO_EX(arginfo_intlcal_create_instance, 0, 0, IntlCalendar, 1)
 	ZEND_ARG_INFO_WITH_DEFAULT_VALUE(0, timeZone, "null")