Merge branch 'PHP-7.2' into PHP-7.3

diff --cc NEWS
index c2a6bdac1a03b59794edf619096f4412cff0620f,a8f1b6c77125cc605d88e93a2ec2f05c3c0a2ebd..9877bfe4b827f67a366e2787d5150bf78cfe5011
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -27,8 -23,11 +27,12 @@@ PH
  
  - MySQLnd:
    . Fixed bug #78179 (MariaDB server version incorrectly detected). (cmb)
 +  . Fixed bug #78213 (Empty row pocket). (cmb)
  
+ - Opcache:
+   . Fixed bug #77191 (Assertion failure in dce_live_ranges() when silencing is
+     used). (Nikita)
+ 
  - Standard:
    . Fixed bug #69100 (Bus error from stream_copy_to_stream (file -> SSL stream)
      with invalid length). (Nikita)

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