Merge branch 'PHP-7.1' into PHP-7.2

diff --cc NEWS
index 7a069511a0413982f9b966a1d9f59340bf38ed2f,d474e9fd0866c13ebfac92b307dbdf48cf5e2ccc..df9e6b4da5b37733b917ff099bef223a460b63bb
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -31,14 -18,12 +31,16 @@@ PH
      used). (Anton Artamonov)
  
  - SPL:
 -  . Fixed bug #75717 (RecursiveArrayIterator does not traverse arrays by
 +  . Fixed bug #75717 (RecursiveArrayIterator does not traverse arrays by 
      reference). (Nikita)
+   . Fixed bug #75242 (RecursiveArrayIterator doesn't have constants from parent
+     class). (Nikita)
  
 -04 Jan 2018, PHP 7.1.13
 +- 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