Merge branch 'PHP-7.1' into PHP-7.2

diff --cc NEWS
index 3270682299c128a317e638fb82fc89d52acc6ca3,312ba2921d11184ca780d78692c3570c98f62430..566505ee6297692d7bd19cf9af281737eb158f7b
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,14 -1,18 +1,16 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? ????, PHP 7.1.11
 +?? ??? ????, PHP 7.2.0RC4
  
 -- Core:
 -  . Fixed bug #75241 (Null pointer dereference in zend_mm_alloc_small()).
 -    (Laruence)
 -  . Fixed bug #75236 (infinite loop when printing an error-message). (Andrea)
 -  . Fixed bug #75252 (Incorrect token formatting on two parse errors in one
 -    request). (Nikita)
 +- Core
    . Fixed bug #75220 (Segfault when calling is_callable on parent). 
      (andrewnester)
+   . Fixed bug #75290 (debug info of Closures of internal functions contain
+     garbage argument names). (Andrea)
  
 +- Date:
 +  . Fixed bug #75222 (DateInterval microseconds property always 0). (jhdxr)
 +
  - litespeed:
    . Fixed bug #75248 (Binary directory doesn't get created when building 
      only litespeed SAPI). (petk)

diff --cc Zend/zend_closures.c
Simple merge