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