Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Fix arginfo for array_replace(_recursive) and array_merge(_recursive)

diff --cc NEWS
index c82db3257d2027e4286c7ef61be00b3d9d318339,bb5223287f47a653e56a7e8b5538ba94756d77d1..59e137539c5b21dfe4ed7d7f91d5dde598b1c112
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,19 -1,13 +1,23 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? ????, PHP 7.1.18
 +?? ??? 2018, PHP 7.2.6
 +
 +- EXIF:
 +  . Fixed bug #76164 (exif_read_data zend_mm_heap corrupted). (cmb)
  
 -  . Fixed arginfo for array_replace(_recursive) and array_merge(_recursive).
+ - Reflection:
++  . 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/standard/array.c
Simple merge

diff --cc ext/standard/basic_functions.c
Simple merge