Merge branch 'PHP-7.0' into PHP-7.1

diff --cc NEWS
index 4243ac73e6d98b5a7ebd2c1233c78f128ec77548,3d402c67989b22d17cde2eb54356cba7b8b840e1..589b07c15543e192ee7166ab61b552b58112528e
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,7 -1,11 +1,11 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? 2017 PHP 7.0.17
 +?? ??? 2017, PHP 7.1.3
  
+ - Core:
+   . Fixed bug #73807 (Performance problem with processing large post request).
+     (Nikita)
+ 
  - OpenSSL:
    . Fixed bug #74022 (PHP Fast CGI crashes when reading from a pfx file).
      (Anatol)

diff --cc main/php_variables.c
Simple merge