Merge branch 'PHP-7.2'

diff --cc NEWS
index f2fcc9f4b283af63d79770db53a8c388a9cf61e3,551a0eb2f513d2ce22adb667770e6c3e2dd6dcaa..3c7efca54cdb1a0c35923542d1f52e3a3e95d62e
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -5,7 -5,15 +5,9 @@@ PH
  - Core:
    . Fixed bug #76520 (Object creation leaks memory when executed over HTTP).
      (Nikita)
+   . Fixed bug #76502 (Chain of mixed exceptions and errors does not serialize
+     properly). (Nikita)
  
 -- Date:
 -  . Fixed bug #76462 (Undefined property: DateInterval::$f). (Anatol)
 -
 -- EXIF:
 -  . Fixed bug #76409 (heap use after free in _php_stream_free). (cmb)
 -
  - FPM:
    . Fixed bug #73342 (Vulnerability in php-fpm by changing stdin to
      non-blocking). (Nikita)

diff --cc Zend/zend_exceptions.c
Simple merge