Merge branch 'PHP-7.2' into PHP-7.3

diff --cc NEWS
index dd12d6d9e4e6dd42f722f59da583cfcd63d67b1b,4e37d391b71057cde8e231155bd59cc6f4f96818..5ce6212a0543e081d963b19eb205a8a3d71270b7
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,12 -1,30 +1,16 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? 2019, PHP 7.2.22
 +?? ??? ????, PHP 7.3.9
  
 -01 Aug 2019, PHP 7.2.21
+ - Standard:
+   . Fixed bug #69100 (Bus error from stream_copy_to_stream (file -> SSL stream)
+     with invalid length). (Nikita)
+ 
 +01 Aug 2019, PHP 7.3.8
  
 -- Fileinfo:
 -  . Fixed bug #78183 (finfo_file shows wrong mime-type for .tga file).
 -    (Joshua Westerheide)
 -
 -- FTP:
 -  . Fixed bug #77124 (FTP with SSL memory leak). (Nikita)
 -
 -- PDO_Sqlite:
 -  . Fixed bug #78192 (SegFault when reuse statement after schema has changed).
 -    (Vincent Quatrevieux)
 -
 -- SQLite:
 -  . Upgraded to SQLite 3.28.0. (cmb)
 -
 -- XMLRPC:
 -  . Fixed bug #78173 (XML-RPC mutates immutable objects during encoding).
 -    (Asher Baker)
 +- Core:
 +  . Added syslog.filter=raw option. (Erik Lundin)
 +  . Fixed bug #78212 (Segfault in built-in webserver). (cmb)
  
  - Date:
    . Fixed bug #69044 (discrepency between time and microtime). (krakjoe)

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