Last release of PHP 7.2 (EOL), frozen in php72.inf3, with fix for CVE-2021-21703