Increase minimum php version requirement for CentOs
There is no package for the PHP redis extension in the software collections.
We may provide the extension ourselves though PHP 7.1 is end of life since a few months. https://www.php.net/supported-versions.php
PHP 7.3 may be the better choice since it's end of life is scheduled for the end of 2021.
Edited by Johannes Meyer