Merge branch 'PHP-7.1' into PHP-7.2

diff --cc NEWS
index df9e6b4da5b37733b917ff099bef223a460b63bb,478d8893252acab27fabd95527a81cc6af3e6fcf..2000094a76d6e20600348ec0c361a2cf2948689a
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -35,12 -22,10 +35,14 @@@ PH
      reference). (Nikita)
    . Fixed bug #75242 (RecursiveArrayIterator doesn't have constants from parent
      class). (Nikita)
+   . Fixed bug #73209 (RecursiveArrayIterator does not iterate object
+     properties). (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