Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Fixed bug #74519 strange behavior of AppendIterator

diff --cc NEWS
index ab1bc83346c6debe9787a289ab19ccdc0eca5760,ba9eb841085552d938950fcb4ad8d16c795fe3ed..722bb2c472e361d0112106b546545e7b847e4b70
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -19,22 -12,17 +19,25 @@@ PH
  - ODBC:
    . Fixed bug #73725 (Unable to retrieve value of varchar(max) type). (Anatol)
  
 +- Opcache:
 +  . Fixed bug #75729 (opcache segfault when installing Bitrix). (Nikita)
 +  . Fixed bug #75893 (file_get_contents $http_response_header variable bugged
 +    with opcache). (Nikita)
 +
+ - SPL:
+   . Fixed bug #74519 (strange behavior of AppendIterator). (jhdxr)
+ 
  - Standard:
 -  . Fixed bug #75916 (DNS_CAA record results contain garbage). (Mike, 
 +  . Fixed bug #75916 (DNS_CAA record results contain garbage). (Mike,
      Philip Sharp)
  
 -01 Feb 2018, PHP 7.1.14
 +01 Feb 2018, PHP 7.2.2
  
  - Core:
 +  . Fixed bug #75742 (potential memleak in internal classes's static members).
 +    (Laruence)
    . Fixed bug #75679 (Path 260 character problem). (Anatol)
 +  . Fixed bug #75614 (Some non-portable == in shell scripts). (jdolecek)
    . Fixed bug #75786 (segfault when using spread operator on generator passed
      by reference). (Nikita)
    . Fixed bug #75799 (arg of get_defined_functions is optional). (carusogabriel)

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