Merge branch 'PHP-7.0' into PHP-7.1

* PHP-7.0:
  Fixed #73969 - Fixed segmentation fault when debug_print_backtrace called

diff --cc NEWS
index 7ad8924be0bd76ce5ae0ebb8731538e0a525125a,ac14eebb00f896dc8c44a8e443c9c71e6b8a984d..488e990b72bffc24620921c87475e2006387f5db
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,13 -1,13 +1,14 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? 2017 PHP 7.0.16
 +?? ??? 2017, PHP 7.1.2
  
  - Core:
 -  . Fixed bug #73916 (zend_print_flat_zval_r doesn't consider reference).
 -    (Laruence)
 +  . 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)
 +  . Fixed bug #73962 (bug with symlink related to cyrillic directory). (Anatol)
+   . Fixed bug #73969 (segfault in debug_print_backtrace). (andrewnester)
  
  - DTrace:
    . Fixed bug #73965 (DTrace reported as enabled when disabled). (Remi)

diff --cc Zend/zend_builtin_functions.c
Simple merge