diff options
-rw-r--r-- | NEWS | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ PHP NEWS ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||| -?? ??? ????, PHP 7.2.20 +04 Jul 2019, PHP 7.2.20 - Core: . Fixed bug #76980 (Interface gets skipped if autoloader throws an exception). |