I have dropped support for PHP 7.1 in #235 and brought it back in #280, but there is no reason to use or support PHP 7.1

For reference, see https://www.php.net/supported-versions.php: