Merge branch 'PHP-7.1' into PHP-7.2

diff --cc NEWS
index c8284132424b8280c31820d8e08b7688780b8aba,c7d75f15037e4e08169ae5aa8bb59870513d5567..7a069511a0413982f9b966a1d9f59340bf38ed2f
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -30,11 -17,11 +30,15 @@@ PH
    . Fixed bug #70469 (SoapClient generates E_ERROR even if exceptions=1 is
      used). (Anton Artamonov)
  
 -  . Fixed bug #75717 (RecursiveArrayIterator does not traverse arrays by
+ - SPL:
 -04 Jan 2018, PHP 7.1.13
++  . Fixed bug #75717 (RecursiveArrayIterator does not traverse arrays by 
+     reference). (Nikita)
+ 
 +- Zip:
 +  . Display headers (buildtime) and library (runtime) versions in phpinfo
 +    (with libzip >= 1.3.1). (Remi)
 +
 +14 Dec 2017, PHP 7.2.1RC1
  
  - Core:
    . Fixed bug #75573 (Segmentation fault in 7.1.12 and 7.0.26). (Laruence)

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