Merge branch 'PHP-7.0' into PHP-7.1

diff --cc NEWS
index 5797eda578252b4165dcd3a475b35d08c776d6d5,a066036de7639189833757976ebdc2eecb096fc1..18e11b300bac009b6ab1a76eb337fc42e5c39a2a
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,13 -1,14 +1,16 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? 2017 PHP 7.0.16
 +?? ??? 2017, PHP 7.1.2
  
  - Core:
 +  . Improved GENERATOR_CREATE opcode handler. (Bob, Dmitry)
 +  . Fixed bug #73877 (readlink() returns garbage for UTF-8 paths). (Anatol)
    . Fixed bug #73876 (Crash when exporting **= in expansion of assign op).
 -  (Sara)
 +    (Sara)
  
+ - Dom:
+   . Fixed bug #61858 (DOMAttr debug info generates E_WARNING). (Arnout Boks)
+ 
  - GD:
    . Fixed bug #73893 (A hidden danger of death cycle in a function of gd). (cmb)