Merge branch 'PHP-7.1' into PHP-7.2

diff --cc NEWS
index c6abc9718e048f8e52f97ec8d070b31aab5d82b1,1dab097ba9199f8da1eb038d5e1c5918d9f5d93b..551a0eb2f513d2ce22adb667770e6c3e2dd6dcaa
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,10 -1,10 +1,12 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? ????, PHP 7.1.20
 +?? ??? ????, PHP 7.2.8
  
  - 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)

diff --cc Zend/zend_exceptions.c
Simple merge