Merge branch 'PHP-7.2' into PHP-7.3

diff --cc NEWS
index 4f6fcd22b218b6e6a45007c075ffa1f0febdf5ff,c0fb40bb8a9ed4a945347ff8caacdbf137682c65..bdf4ff979ce4a1c9b97104cc8dd8f013d51b2ed6
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -7,21 -16,14 +7,25 @@@ PH
  
  - Date:
    . Fixed #69044 (discrepency between time and microtime). (krakjoe)
 +  . Updated timelib to 2018.02. (Derick)
  
 -- 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)
+ - Openssl:
+   . Fixed bug #78231 (Segmentation fault upon stream_socket_accept of exported
+     socket-to-stream). (Nikita)
+ 
 +- 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)
 +  . Fixed bug #78230 (Incorrect type check optimization). (Nikita)
 +
 +- 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)

diff --cc ext/openssl/xp_ssl.c
Simple merge