Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Upgrade to SQLite 3.28.0

diff --cc NEWS
index 67ea34c9813f36a344c6063e9554cc2d6203d1dd,dd2bb55d45a68735af53a6fbeaf0776021355d1e..b0e3d5f2a0fa56d3bcc757ab9f14b9fe88d90d58
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -20,19 -31,10 +20,22 @@@ PH
    . Fixed bug #78231 (Segmentation fault upon stream_socket_accept of exported
      socket-to-stream). (Nikita)
  
 -- OPcache:
 -  . Fixed #78189 (file cache strips last character of uname hash). (cmb)
 -  . Fixed #78202 (Opcache stats for cache hits are capped at 32bit NUM). (cmb)
 +- Opcache:
 +  . Fixed bug #78189 (file cache strips last character of uname hash). (cmb)
 +  . Fixed bug #78202 (Opcache stats for cache hits are capped at 32bit NUM).
 +    (cmb)
 +
 +- 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)
 +
++- SQLite:
++  . Upgraded to SQLite 3.28.0. (cmb)
+ 
  - Standard:
    . Fixed #78241 (touch() does not handle dates after 2038 in PHP 64-bit). (cmb)