Fatal error: Uncaught RuntimeException: RedisConnectionPool requires a Redis client library. See https://www.mediawiki.org/wiki/Redis#Setup in /srv/mediawiki-staging/php-master/includes/libs/redis/RedisConnectionPool.php:80
#5 /srv/mediawiki-staging/php-master/includes/libs/services/ServiceContainer.php(414): Wikimedia\Services\ServiceContainer->createServic in /srv/mediawiki-staging/php-master/includes/libs/redis/RedisConnectionPool.php on line 80