Merge branch 'PHP-7.1'

sebastianbergmann · sebastianbergmann · commit 6035ebd4a6c2 · 2017-04-11T08:29:14.000+02:00
diff --git a/ext/standard/basic_functions.c b/ext/standard/basic_functions.c
@@ -736,6 +736,7 @@ ZEND_END_ARG_INFO()
 
 ZEND_BEGIN_ARG_INFO_EX(arginfo_ini_get_all, 0, 0, 0)
 	ZEND_ARG_INFO(0, extension)
+	ZEND_ARG_INFO(0, details)
 ZEND_END_ARG_INFO()
 
 ZEND_BEGIN_ARG_INFO(arginfo_ini_set, 0)
