Merge branch 'PHP-7.0' into PHP-7.1

diff --cc NEWS
index 7be8f88a513ec7555b2f04eb722de2a013003765,5e2dbd067d9061d80e5447d8c3eaa9298e5169b9..143c781878addbc2aa96e3b0c28a61d90e0be566
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,7 -1,11 +1,11 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? 2016 PHP 7.0.12
 +?? ??? 2016, PHP 7.1.0RC2
  
+ - Core:
+   . Fixed bug #73025 (Heap Buffer Overflow in virtual_popen of
+     zend_virtual_cwd.c). (cmb)
+ 
  - Filter:
    . Fixed bug #72972 (Bad filter for the flags FILTER_FLAG_NO_RES_RANGE and
      FILTER_FLAG_NO_PRIV_RANGE). (julien)

diff --cc Zend/zend_virtual_cwd.c
Simple merge