|
@@ -186,11 +186,24 @@ ARG INSTALL_MONGO=false
|
|
|
ENV INSTALL_MONGO ${INSTALL_MONGO}
|
|
|
RUN if [ ${INSTALL_MONGO} = true ]; then \
|
|
|
# Install the mongodb extension
|
|
|
- pecl install mongodb && \
|
|
|
+ pecl -q install mongodb && \
|
|
|
echo "extension=mongodb.so" >> /etc/php/7.1/mods-available/mongodb.ini && \
|
|
|
ln -s /etc/php/7.1/mods-available/mongodb.ini /etc/php/7.1/cli/conf.d/30-mongodb.ini \
|
|
|
;fi
|
|
|
|
|
|
+#####################################
|
|
|
+# PHP REDIS EXTENSION FOR PHP 7
|
|
|
+#####################################
|
|
|
+
|
|
|
+ARG INSTALL_PHPREDIS=false
|
|
|
+ENV INSTALL_PHPREDIS ${INSTALL_PHPREDIS}
|
|
|
+RUN if [ ${INSTALL_PHPREDIS} = true ]; then \
|
|
|
+ # Install Php Redis extension
|
|
|
+ printf "\n" | pecl -q install -o -f redis && \
|
|
|
+ echo "extension=redis.so" >> /etc/php/7.1/mods-available/redis.ini && \
|
|
|
+ phpenmod redis \
|
|
|
+;fi
|
|
|
+
|
|
|
#####################################
|
|
|
# Drush:
|
|
|
#####################################
|