Merge branch 'PHP-7.2' into PHP-7.3

diff --cc NEWS
index 8d50dea72f348881d45a28e086d106b48a1056b0,ba4baf32c172f89ba38e94fdd08747e2dffa340e..74dd9350143ca50e6984df0201d2f90c1bd4f5f0
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,10 -1,18 +1,13 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? 2018, PHP 7.2.12
 -
 -
 -11 Oct 2018, PHP 7.2.11
 +?? ??? ????, PHP 7.3.0RC3
  
 -  . Fixed bug #76800 (foreach inconsistent if array modified during loop).
 -    (Dmitry)
 -  . Fixed bug #76901 (method_exists on SPL iterator passthrough method corrupts
 -    memory). (Nikita)
+ - Core:
+   . Fixed bug #76846 (Segfault in shutdown function after memory limit error).
+     (Nikita)
  
 +27 Sep 2018, PHP 7.3.0RC2
 +
  - CURL:
    . Fixed bug #76480 (Use curl_multi_wait() so that timeouts are respected).
      (Pierrick)

diff --cc Zend/zend_objects_API.c
Simple merge