Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Fix #78241: touch() does not handle dates after 2038 in PHP 64-bit

diff --cc NEWS
index 5d0a417d7ed2c305ca1fe4f3ee9de0873e0c7f71,4c05f42773c05d4fe92c1c9cfbd5e47e927b0767..cc6a9dff91aa2e10d4c425aee50d2fe2c92b9e80
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -13,15 -21,10 +13,18 @@@ PH
    . Fixed #78189 (file cache strips last character of uname hash). (cmb)
    . Fixed #78202 (Opcache stats for cache hits are capped at 32bit NUM). (cmb)
  
 -27 Jun 2019, PHP 7.2.20
 +- PCRE:
 +  . Fixed bug #78197 (PCRE2 version check in configure fails for "##.##-xxx"
 +    version strings). (pgnet, Peter Kokot)
 +
 +- PDO_Sqlite:
 +  . Fixed #78192 (SegFault when reuse statement after schema has changed).
 +    (Vincent Quatrevieux)
 +
+ - Standard:
+   . Fixed #78241 (touch() does not handle dates after 2038 in PHP 64-bit). (cmb)
+ 
 +04 Jul 2019, PHP 7.3.7
  
  - Core:
    . Fixed bug #76980 (Interface gets skipped if autoloader throws an exception).

diff --cc TSRM/tsrm_win32.c
Simple merge