From 4cffb2fc992830675161fedfd193d3d2f8818ac4 Mon Sep 17 00:00:00 2001
From: desaroger <desaroger23@gmail.com>
Date: Sat, 17 Feb 2018 08:37:25 +0100
Subject: [PATCH] Avoid to install PHP latest on a PHP 7.1 dockerfile

---
 workspace/Dockerfile-71 | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/workspace/Dockerfile-71 b/workspace/Dockerfile-71
index e4c49305..f658ecd7 100644
--- a/workspace/Dockerfile-71
+++ b/workspace/Dockerfile-71
@@ -409,7 +409,7 @@ RUN if [ ${INSTALL_V8JS} = true ]; then \
     # Install the php V8JS extension
     add-apt-repository -y ppa:pinepain/libv8-5.4 \
     && apt-get update -yqq \
-    && apt-get install -y php-xml php-dev php-pear libv8-5.4 \
+    && apt-get install -y php7.1-xml php7.1-dev php-pear libv8-5.4 \
     && pecl install v8js \
     && echo "extension=v8js.so" >> /etc/php/7.1/cli/php.ini \
 ;fi
@@ -428,7 +428,8 @@ RUN echo "" >> ~/.bashrc && \
 # Laravel Envoy:
 #####################################
 USER root
-    apt-get update -yqq \
+
+RUN apt-get update -yqq \
     && apt-get install -y php-curl
 
 USER laradock