ports

Files

Torsten Zuehlsdorff d6e7693725 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

MFH:		2019Q3