Merge branch 'PHP-7.1' into PHP-7.2

diff --cc NEWS
index 83dcc7cea32c10ff9aabafc0d81552a78603ae15,c9b985012e6bb532aecd0e7e84275a0ed0ad275c..0a9c01eae9afedad2c7fb1b916f8cd9060960df5
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -9,19 -6,16 +9,23 @@@ PH
    . Fixed bug #76075 --with-fpm-acl wrongly tries to find libacl on FreeBSD.
      (mgorny)
  
+ - Opcache:
+   . Fixed bug #76275 (Assertion failure in file cache when unserializing empty
+     try_catch_array). (Nikita)
+ 
  - Reflection:
 -  . Fixed arginfo for array_replace(_recursive) and array_merge(_recursive).
 +  . Fixed arginfo of array_replace(_recursive) and array_merge(_recursive).
      (carusogabriel)
  
 +- Session:
 +  . Fixed bug #74892 (Url Rewriting (trans_sid) not working on urls that start
 +    with "#"). (Andrew Nester)
 +
 +26 Apr 2018, PHP 7.2.5
  
 -26 Apr 2018, PHP 7.1.17
 +- Core:
 +  . Fixed bug #75722 (Convert valgrind detection to configure option).
 +    (Michael Heimpold)
  
  - Date:
    . Fixed bug #76131 (mismatch arginfo for date_create). (carusogabriel)

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

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