Merge branch 'PHP-7.0' into PHP-7.1

diff --cc NEWS
index 2f1ae9eab341dc39a57be44d1cc0e06200928906,497ff24729b8550755a35fca916bc2beb92f3d84..cc0c4869c10f06cd12f4bed99101bcb7563ebf05
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -13,52 -17,9 +13,55 @@@ PH
      This may be enabled again using envirionment variable USE_ZEND_DTRACE=1.
      (Dmitry)
  
 +- Mbstring:
 +  . Fixed bug #73532 (Null pointer dereference in mb_eregi). (Laruence)
 +
+ - Mysqlnd:\r
+   . Fixed bug #64526 (Add missing mysqlnd.* parameters to php.ini-*). (cmb)\r
+ \r
 +- Opcache:
 +  . Fixed bug #69090 (check cached files permissions)
 +
 +- SQLite3:
 +  . Update to SQLite 3.15.1. (cmb)
 +  . Fixed bug #73530 (Unsetting result set may reset other result set). (cmb)
 +
 +- Standard:
 +   . Fixed bug #73297 (HTTP stream wrapper should ignore HTTP 100 Continue).
 +     (rowan dot collins at gmail dot com)
 +
 +- XML:
 +  . Fixed bug #72135 (malformed XML causes fault) (edgarsandi)
 +
 +10 Nov 2016, PHP 7.1.0RC6
 +
 +- Core:
 +  . Fixded bug #72736 (Slow performance when fetching large dataset with mysqli
 +    / PDO). (Dmitry)
 +  . Fixed bug #72482 (Ilegal write/read access caused by gdImageAALine
 +    overflow). (cmb)
 +  . Fixed bug #72696 (imagefilltoborder stackoverflow on truecolor images).
 +    (cmb)
 +
 +- Date:
 +  . Fixed bug #73426 (createFromFormat with 'z' format char results in
 +    incorrect time). (Derick)
 +
 +- IMAP:
 +  . Fixed bug #73418 (Integer Overflow in "_php_imap_mail" leads to crash).
 +    (Anatol)
 +
 +- Interbase:
 +  . Fixed bug #73512 (Fails to find firebird headers as don't use fb_config
 +    output). (Remi)
 +
 +- JSON:
 +  . Introduced encoder struct instead of global which fixes bugs #66025 and
 +    #73254 related to pretty print indentation. (Jakub Zelenka)
 +
 +- Date:
 +  . Fixed bug #69587 (DateInterval properties and isset). (jhdxr)
 +
  - ODBC:
    . Fixed bug #73448 (odbc_errormsg returns trash, always 513 bytes).
      (Anatol)

diff --cc php.ini-development
Simple merge

diff --cc php.ini-production
Simple merge