Merge branch 'PHP-7.1' into PHP-7.2

diff --cc NEWS
index a747b5283841b6dbf4104673b4e0df82f4102712,806cf7df837ce8afb4743120454bde4c214d02f6..13bff4bf37272853c85ad3cd054381126b1da514
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -13,14 -16,10 +13,16 @@@ PH
    . Fixed bug #75511 (fread not free unused buffer). (Laruence)
    . Fixed bug #75514 (mt_rand returns value outside [$min,$max]+ on 32-bit)
      (Remi)
+   . Fixed bug #75535 (Inappropriately parsing HTTP response leads to PHP
+     segment fault). (Nikita)
  
 -23 Nov 2017, PHP 7.1.12
 +?? ??? ????, PHP 7.2.0
 +
 +- Core:
 +
 +  . Fixed bug #75515 ("stream_copy_to_stream" doesn't stream anymore). (Sara)
 +
 +09 Nov 2017, PHP 7.2.0RC6
  
  - Core:
    . Fixed bug #75420 (Crash when modifing property name in __isset for

diff --cc ext/standard/http_fopen_wrapper.c
Simple merge