Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Restored NEWS entry

diff --cc NEWS
index 06130e02067c60459cc57b743c1d961ef3cfa7c3,1b7e493d19dc9d8e9867da5972e96bb16bf22b37..1d81d84aa0d32df8f5089f64d65653ff6bcbaac3
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -13,15 -13,9 +13,17 @@@ PH
  - MySQLi:
    . Fixed bug #77956 (When mysqli.allow_local_infile = Off, use a meaningful
      error message). (Sjon Hortensius)
+   . Fixed bug #38546 (bindParam incorrect processing of bool types).
+     (camporter)
  
 +- 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)