Merge branch 'PHP-7.2' into PHP-7.3

diff --cc NEWS
index 221ca505b6d0b7425d4b8f2aa46c3869b432d235,438c962759ec17879ad25430b67c2183b4c17104..14ab328f9673187700406057f6bddc8bffc38b82
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -14,14 -14,10 +14,18 @@@ PH
    . Fixed bug #77956 (When mysqli.allow_local_infile = Off, use a meaningful
      error message). (Sjon Hortensius)
  
 +- MySQLnd:
 +  . Fixed bug #77955 (Random segmentation fault in mysqlnd from php-fpm).
 +    (Nikita)
 +
 +- Opcache:
 +  . Fixed bug #78015 (Incorrect evaluation of expressions involving partials
 +    arrays in SCCP). (Nikita)
 +
+ - OpenSSL:
+   . Fixed bug #78079 (openssl_encrypt_ccm.phpt fails with OpenSSL 1.1.1c).
+     (Jakub Zelenka)
+ 
  - Sockets:
    . Fixed bug #78038 (Socket_select fails when resource array contains
      references). (Nikita)

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