From 47c89787e60b475037e3cf2bde4ec4bace215cef Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9=20Lado=20Cruz?= <andre@digitalmanager.guru>
Date: Wed, 10 Mar 2021 11:55:09 +0000
Subject: [PATCH] Fix Redis Problem issue #2851

---
 workspace/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/workspace/Dockerfile b/workspace/Dockerfile
index c6c51054..1edc0834 100644
--- a/workspace/Dockerfile
+++ b/workspace/Dockerfile
@@ -560,7 +560,7 @@ ARG INSTALL_PHPREDIS=false
 
 RUN if [ ${INSTALL_PHPREDIS} = true ]; then \
     apt-get update -yqq && \
-    apt-get install -yqq php-redis \
+    apt-get install -yqq php${LARADOCK_PHP_VERSION}-redis \
 ;fi
 
 ###########################################################################