Merge branch 'PHP-7.1' into PHP-7.2

diff --cc NEWS
index 59e137539c5b21dfe4ed7d7f91d5dde598b1c112,07542c07ca043cfc1b75f9f3e4cf0ecd1ddf43e8..b1a485f0b0e2e4d9789f6c7fa390a88d63132bea
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,23 -1,17 +1,27 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? ????, PHP 7.1.18
 +?? ??? 2018, PHP 7.2.6
 +
 +- EXIF:
 +  . Fixed bug #76164 (exif_read_data zend_mm_heap corrupted). (cmb)
  
+ - FPM:
+   . Fixed bug #76075 --with-fpm-acl wrongly tries to find libacl on FreeBSD.
+     (mgorny)
+ 
  - 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)