Merge branch 'PHP-7.2'

* PHP-7.2:
  Fix arginfo wrt. optional/required parameters

diff --cc NEWS
index 3c7efca54cdb1a0c35923542d1f52e3a3e95d62e,8ca6898bed7e20d3090b7d199ef3cb327541a42b..0232c33b271405549853087eeddac9970ac74628
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -12,11 -18,13 +12,14 @@@ PH
    . Fixed bug #73342 (Vulnerability in php-fpm by changing stdin to
      non-blocking). (Nikita)
  
 -- Opcache:
 -  . Fixed bug #76477 (Opcache causes empty return value).
 -    (Nikita, Laruence)
 +- PCRE:
 +  . Fixed bug #76512 (\w no longer includes unicode characters). (cmb)
 +  . Fixed bug #76514 (Regression in preg_match makes it fail with
 +    PREG_JIT_STACKLIMIT_ERROR). (Anatol)
  
+ - phpdbg:
+   . Fix arginfo wrt. optional/required parameters. (cmb)
+ 
  - Standard:
    . Fixed bug #76505 (array_merge_recursive() is duplicating sub-array keys).
      (Laruence)

diff --cc sapi/phpdbg/phpdbg.c
Simple merge