MFH: r506578
lang/php72: Upgrade from 7.2.19 to 7.2.20
Changelog:
Core: Fixed bug #76980 (Interface gets skipped if autoloader throws an exception). DOM: Fixed bug #78025 (segfault when accessing properties of DOMDocumentType). MySQLi: Fixed bug #77956 (When mysqli.allow_local_infile = Off, use a meaningful error message). Fixed bug #38546 (bindParam incorrect processing of bool types). Opcache: Fixed bug #78106 (Path resolution fails if opcache disabled during request). OpenSSL: Fixed bug #78079 (openssl_encrypt_ccm.phpt fails with OpenSSL 1.1.1c). Sockets: Fixed bug #78038 (Socket_select fails when resource array contains references). Standard: Fixed bug #77135 (Extract with EXTR_SKIP should skip $this). Fixed bug #77937 (preg_match failed). Zip: Fixed bug #76345 (zip.h not found).
Changelog taken from: https://www.php.net/ChangeLog-7.php#7.2.20
Approved by: ports-secteam (miwi)