Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Fix #76131 some arginfo params are different from the documentation

diff --cc NEWS
index 02b4518c70b7c08ae156b78b2771c0bd0e826e21,db2833d7926693e799fe9f9cde891452f4ed7038..d733efeb2abb44bed38d1d7179171cd8384456ba
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,27 -1,20 +1,34 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? ????, PHP 7.1.17
 +?? ??? 2018, PHP 7.2.5
 +
 +- Core:
 +  . Fixed bug #75722 (Convert valgrind detection to configure option).
 +    (Michael Heimpold)
  
- - Mbstring:
+ - Date:
+   . Fixed bug #76131 (mismatch arginfo for date_create). (carusogabriel)
+ 
+ - mbstring:
    . Fixed bug #75944 (Wrong cp1251 detection). (dmk001)
    . Fixed bug #76113 (mbstring does not build with Oniguruma 6.8.1).
      (chrullrich, cmb)
  
 -29 Mar 2018, PHP 7.1.16
 +- ODBC:
 +  . Fixed bug #76088 (ODBC functions are not available by default on Windows).
 +    (cmb)
 +
 +- Opcache:
 +  . Fixed bug #76094 (Access violation when using opcache). (Laruence)
 +
+ - SPL:
+   . Fixed bug #76131 (mismatch arginfo for splarray constructor). 
+     (carusogabriel)
+ 
 +- Standard:
 +  . Fixed bug #74139 (mail.add_x_header default inconsistent with docs). (cmb)
 +
 +29 Mar 2018, PHP 7.2.4
  
  - Core:
    . Fixed bug #76025 (Segfault while throwing exception in error_handler).

diff --cc ext/date/php_date.c
Simple merge

diff --cc ext/spl/spl_array.c
Simple merge