Merge branch 'PHP-7.1' into PHP-7.2

diff --cc NEWS
index ba4baf32c172f89ba38e94fdd08747e2dffa340e,5b5cfb64b2aa9e221091d33901ef8c39d9e3fc71..eb845cbe695f79aedf68b233b88df792116af673
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,17 -1,17 +1,19 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? 2018, PHP 7.1.24
 +?? ??? 2018, PHP 7.2.12
  
+ - Core:
++  . Fixed bug #76846 (Segfault in shutdown function after memory limit error).
++    (Nikita)
+   . Fixed bug #76946 (Cyclic reference in generator not detected). (Nikita)
  
 -11 Oct 2018, PHP 7.1.23
 +11 Oct 2018, PHP 7.2.11
  
  - Core:
 +  . Fixed bug #76800 (foreach inconsistent if array modified during loop).
 +    (Dmitry)
    . Fixed bug #76901 (method_exists on SPL iterator passthrough method corrupts
      memory). (Nikita)
--  . Fixed bug #76846 (Segfault in shutdown function after memory limit error).
--    (Nikita)
  
  - CURL:
    . Fixed bug #76480 (Use curl_multi_wait() so that timeouts are respected).

diff --cc Zend/zend_generators.c
Simple merge