Partial fix for bug#48333 (DateInterval.format() expects a single,

undocumented parameter)

diff --git a/ext/date/php_date.c b/ext/date/php_date.c
index 3c30e771e0e191747e59dd14f22da2b1c3d3b777..5f555b9b06fbcd781adc773c4f7c197774a621cf 100644 (file)
--- a/ext/date/php_date.c
+++ b/ext/date/php_date.c
@@ -340,11 +340,13 @@ ZEND_BEGIN_ARG_INFO_EX(arginfo_date_interval_create_from_date_string, 0, 0, 1)
        ZEND_ARG_INFO(0, time)
 ZEND_END_ARG_INFO()
 
-ZEND_BEGIN_ARG_INFO_EX(arginfo_date_interval_format, 0, 0, 1)
+ZEND_BEGIN_ARG_INFO_EX(arginfo_date_interval_format, 0, 0, 2)
        ZEND_ARG_INFO(0, object)
+       ZEND_ARG_INFO(0, format)
 ZEND_END_ARG_INFO()
 
 ZEND_BEGIN_ARG_INFO(arginfo_date_method_interval_format, 0)
+       ZEND_ARG_INFO(0, format)
 ZEND_END_ARG_INFO()
 
 ZEND_BEGIN_ARG_INFO_EX(arginfo_date_period_construct, 0, 0, 3)