Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Fixed bug #78185 (File cache no longer works)

diff --cc NEWS
index 6350c55631f04465dd603ec1265b3d5028d40166,fe943065870c5c97b6afbe50b7f2ea0acf386d8f..b8616678f05a62771f7da2c9230611a1fc1422ac
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -8,7 -9,10 +8,10 @@@ PH
  - Date:
    . Fixed #69044 (discrepency between time and microtime). (krakjoe)
  
 -27 Jun 2019, PHP 7.2.20
+ - Opcache:
+   . Fixed bug #78185 (File cache no longer works). (Dmitry)
+ 
 +27 Jun 2019, PHP 7.3.7
  
  - Core:
    . Fixed bug #76980 (Interface gets skipped if autoloader throws an exception).

diff --cc ext/opcache/ZendAccelerator.c
Simple merge