Merge branch 'PHP-7.2' into PHP-7.3

diff --cc NEWS
index 18dbcf3f34337869cac229668e541af9df0c4331,abf5a572d39f125d50105447fd683a3f7145ba97..f6f51119dcff58d150a166b74f0bcbd11ffec9b0
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -34,9 -32,12 +34,13 @@@ PH
  - MySQLi:
    . Fixed bug #77597 (mysqli_fetch_field hangs scripts). (Nikita)
  
 -  . Fixed bug #77691 (Opcache passes wrong value for inline array push
 -    assignments). (Nikita)
+ - Opcache:
+   . Fixed bug #77743 (Incorrect pi node insertion for jmpznz with identical
+     successors). (Nikita)
+ 
 +- Phar:
 +  . Fxied bug #77697 (Crash on Big_Endian platform). (Laruence)
 +
  - sodium:
    . Fixed bug #77646 (sign_detached() strings not terminated). (Frank)
  

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