Merge branch 'PHP-7.3' into PHP-7.4

* PHP-7.3:
  Fixed bug #79468

diff --cc NEWS
index 1c952998b0064ed3067298605f19463f3266ab7c,95e520e32ac8a6af715aa11dd450a41f2460c2a8..6561bf85e60775788c8495f90a3482ac241591ef
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -14,10 -14,11 +14,14 @@@ PH
    . Fixed bug #79441 (Segfault in mb_chr() if internal encoding is unsupported).
      (Girgias)
  
 -16 Apr 2020, PHP 7.3.17
 +- SPL:
 +  . Fixed bug #69264 (__debugInfo() ignored while extending SPL classes). (cmb)
 +
+ - Standard:
+   . Fixed bug #79468 (SIGSEGV when closing stream handle with a stream filter
+     appended). (dinosaur)
+ 
 +?? ??? ????, PHP 7.4.5
  
  - Core:
    . Fixed bug #79364 (When copy empty array, next key is unspecified). (cmb)

diff --cc main/streams/streams.c
Simple merge