Um das php-redis-Erweiterung mit dem offiziellen PHP-Docker-Bild zu installieren, können Sie das mit dem Bild gelieferte Skript docker-php-ext-install verwenden.