Fix phpreddis installation for all versions of php

2017-09-04 11:33:14 +03:00
parent 53b3ad0f7e
commit cddc934e1e
5 changed files with 29 additions and 3 deletions
--- a/workspace/Dockerfile-71
+++ b/workspace/Dockerfile-71
@ -192,7 +192,7 @@ RUN if [ ${INSTALL_MONGO} = true ]; then \
 ;fi

 #####################################
-# PHP REDIS EXTENSION FOR PHP 7
+# PHP REDIS EXTENSION FOR PHP 7.1
 #####################################

 ARG INSTALL_PHPREDIS=false