Установка redis для устаревшей версии PHP 7.1
На сервере устаревшая Debian 8 с Ispmanager и альтернативной устаревшей версией PHP 7.1 установленной в /opt/php71, для которой и потребовалось установить расширение redis. Из панели управления расширение не доступно, pecl также сообщает об ошибке: