Merge branch 'PHP-7.0' into PHP-7.1

diff --cc NEWS
index a9d0bdb716ee6a41650e10bddf3044da62712b09,ce4a7482d4e0816881e7238b933d8630aea00426..7ee9299008f2cc79e784d229976a4b20eb3c2161
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -8,13 -8,14 +8,17 @@@ PH
    . Fixed bug #73876 (Crash when exporting **= in expansion of assign op).
      (Sara)
  
 -- FPM:
 -  . Fixed bug #67583 (double fastcgi_end_request on max_children limit).
 -    (Dmitry Saprykin)
 +- FCGI:
 +  . Fixed bug #73904 (php-cgi fails to load -c specified php.ini file). (Anatol)
 +  . Fixed bug #72898 (PHP_FCGI_CHILDREN is not included in phpinfo()). (Anatol)
  
+ - GMP:
+   . Fixed bug #69993 (test for gmp.h needs to test machine includes).
+     (Jordan Gigov) 
+ 
 +- Hash:
 +  . Added hash_hkdf() function. (Andrey Andreev)
 +
  - Mysqlnd:
    . Fixed bug #69899 (segfault on close() after free_result() with mysqlnd).
      (Richard Fussenegger)