Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Fix #78282: atime and mtime mismatch

diff --cc NEWS
index c4c2a2b4219a3ca6cdd07c7d4ce48d3063a3473e,a4e4793e857ad02dc2f68fdf7434d60f43888b74..35147c0dc2d5831ccc865930bc6643260ad22239
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -31,15 -26,11 +31,16 @@@ PH
  - Standard:
    . Fixed bug #69100 (Bus error from stream_copy_to_stream (file -> SSL stream)
      with invalid length). (Nikita)
+   . Fixed bug #78282 (atime and mtime mismatch). (cmb)
    . Fixed bug #78326 (improper memory deallocation on stream_get_contents()
      with fixed length buffer). (Albert Casademont)
 +  . Fixed bug #78346 (strip_tags no longer handling nested php tags). (cmb)
  
 -01 Aug 2019, PHP 7.2.21
 +01 Aug 2019, PHP 7.3.8
 +
 +- 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 TSRM/tsrm_win32.c
Simple merge