Merge branch 'PHP-7.0' into PHP-7.1

diff --cc NEWS
index c14d1ee825a625ae3ed339ffd317a9f2fe15553c,d1644577111c9e9dd99b5afc1d1a0d43ddcab827..548aeae4608a46cd0276210bcac65a3e845d2d7b
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -5,23 -5,6 +5,24 @@@ PH
  - Calendar:
    . Fix integer overflows (Joshua Rogers)
  
 +- Date:
 +  . Fixed bug #69587 (DateInterval properties and isset). (jhdxr)
 +
 +- Mbstring:
 +  . Fixed bug #73532 (Null pointer dereference in mb_eregi). (Laruence)
 +
 +- 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)
 +
 +- 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)

diff --cc ext/sqlite3/sqlite3.c
Simple merge