Merge branch 'PHP-7.0' into PHP-7.1

sebastianbergmann · sebastianbergmann · commit 25c941807b0b · 2017-04-11T08:28:55.000+02:00
diff --git a/ext/standard/basic_functions.c b/ext/standard/basic_functions.c
@@ -738,6 +738,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)
