Merge branch 'PHP-7.0' into PHP-7.1

diff --cc NEWS
index 50ca8ada9e1a5249bd3028c37a7b739a50ee4324,f937e78d7d1f155b9eb56aef2bf78689df755061..7168c705189e2aacc51b491219f568d51023dcdd
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,13 -1,10 +1,16 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? 2017 PHP 7.0.25
 +?? ??? ????, PHP 7.1.11
  
+ - Core:
+   . Fixed bug #75236 (infinite loop when printing an error-message). (Andrea)
+ 
 +- MySQLi:
 +  . Fixed bug #75018 (Data corruption when reading fields of bit type). (Anatol)
 +
 +- PDO_mysql:
 +  . Fixed bug #75177 (Type 'bit' is fetched as unexpected string). (Anatol)
 +
  - SPL:
    . Fixed bug #73629 (SplDoublyLinkedList::setIteratorMode masks intern flags).
      (J. Jeising, cmb)

diff --cc main/main.c
Simple merge