7.2.202019-07-04stableThe PHP development team announces the immediate availability of PHP 7.2.20. This is a bugfix release.(Interface gets skipped if autoloader throws an exception).76980(segfault when accessing properties of DOMDocumentType).78025(When mysqli.allow_local_infile = Off, use a meaningful error message).77956(bindParam incorrect processing of bool types).38546(Path resolution fails if opcache disabled during request).78106(openssl_encrypt_ccm.phpt fails with OpenSSL 1.1.1c).78079(Socket_select fails when resource array contains references).78038(Extract with EXTR_SKIP should skip $this).77135(preg_match failed).77937(zip.h not found).76345