diff options
author | Sebastian Bergmann <sebastian@php.net> | 2017-04-11 08:28:55 +0200 |
---|---|---|
committer | Sebastian Bergmann <sebastian@php.net> | 2017-04-11 08:28:55 +0200 |
commit | 25c941807b0bbedccd83e84fc75397fd9783fe39 (patch) | |
tree | d2884b27f7018599eea5dfd586a724482fcf9feb /ext | |
parent | 9493ebbab2111757ab1370806aff4ccc09e438c1 (diff) | |
parent | 7cdf520319b4c2dab1409215b680ee1410bf39c2 (diff) | |
download | php-git-25c941807b0bbedccd83e84fc75397fd9783fe39.tar.gz |
Merge branch 'PHP-7.0' into PHP-7.1
Diffstat (limited to 'ext')
-rw-r--r-- | ext/standard/basic_functions.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ext/standard/basic_functions.c b/ext/standard/basic_functions.c index 4784a216e1..132da843f9 100644 --- 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) |