Merge branch 'PHP-7.1' into PHP-7.2

diff --cc NEWS
index 4aea171c1f628bf44523a86565872ec352e4af1e,c801b72b4ea1fe4ed661e5d4f169cfe8a0307092..2afd173a85e31eae375bd30cb2162345f1dbb9c8
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,16 -1,13 +1,19 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? 2018, PHP 7.1.25
 +?? ??? 2018, PHP 7.2.13
  
 -08 Nov 2018, PHP 7.1.24
+ - Opcache:
+   . Fixed bug #77058 (Type inference in opcache causes side effects). (Nikita)
+ 
 +- SOAP:
 +  . Fixed bug #50675 (SoapClient can't handle object references correctly).
 +    (Cameron Porter)
 +
 +08 Nov 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)
    . Fixed bug #77035 (The phpize and ./configure create redundant .deps file).
      (Peter Kokot)

diff --cc ext/opcache/Optimizer/zend_inference.c
Simple merge