Merge branch 'PHP-7.2' into PHP-7.3

diff --cc NEWS
index fc017b96f6c326b08fc35d4d005ece237035332a,2afd173a85e31eae375bd30cb2162345f1dbb9c8..aa12469b6aac2610c498a3445ef2a4dfd37edc10
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,7 -1,10 +1,10 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? 2018, PHP 7.2.13
 +?? ??? ????, PHP 7.3.0RC5
  
+ - 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)

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