Merge pull request #2858 from andreladocruz/patch-1

Fix Redis Problem issue #2851

workspace/Dockerfile

@@ -578,7 +578,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
 
 ###########################################################################