From: Dmitry Stogov <dmitry@zend.com>
Date: Thu, 20 Jun 2019 06:05:50 +0000 (+0300)
Subject: Merge branch 'PHP-7.2' into PHP-7.3
X-Git-Tag: php-7.4.0alpha2~46^2
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=35acda856a991378c2d9c22f37c62affb0d1ab8a;p=php

Merge branch 'PHP-7.2' into PHP-7.3

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

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