PHP 7.1 security patch support has finished - https://www.php.net/supported-versions.php

Drop support for PHP 7.1

Needs to be decided when this can be done. Production sites should have moved to PHP 7.2 or 7.3 during the last year of 7.1 security patch only support. But probably that is not the reality!