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)
UnifiedSplitRaw