Merge branch 'PHP-7.0' into PHP-7.1

diff --cc NEWS
index d5b94bd8094f445bb350e7bf3186f57eccfffcb4,57d0fdb9736befd3768a404ed69971375f59c963..806cf7df837ce8afb4743120454bde4c214d02f6
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -5,19 -9,12 +5,21 @@@ PH
  - Core:
    . Fixed bug #75384 (PHP seems incompatible with OneDrive files on demand).
      (Anatol)
 +  . Fixed bug #74862 (Unable to clone instance when private __clone defined).
 +    (Daniel Ciochiu)
 +
 +- CLI Server:
 +  . Fixed bug #60471 (Random "Invalid request (unexpected EOF)" using a router
 +    script). (SammyK)
  
  - Standard:
 +  . 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.0.26
 +23 Nov 2017, PHP 7.1.12
  
  - Core:
    . Fixed bug #75420 (Crash when modifing property name in __isset for

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