From 3e771dbcfcefeec94d610a178076b3855b021cfc Mon Sep 17 00:00:00 2001
From: Tomonso Ejang <15569410+tomonsoejang@users.noreply.github.com>
Date: Tue, 8 Jan 2019 13:01:21 +0530
Subject: [PATCH] Typo in PHP_VERSION for PHP gmp extension (#1933)

---
 workspace/Dockerfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/workspace/Dockerfile b/workspace/Dockerfile
index 8e65a2d3..1d8b476d 100644
--- a/workspace/Dockerfile
+++ b/workspace/Dockerfile
@@ -194,11 +194,11 @@ RUN if [ ${INSTALL_SSH2} = true ]; then \
 USER root
 
 ARG INSTALL_GMP=false
-ARG PHP_VERSION=${PHP_VERSION}
+ARG PHP_VERSION=${LARADOCK_PHP_VERSION}
 
 RUN if [ ${INSTALL_GMP} = true ]; then \
   # Install the PHP GMP extension
-  apt-get -y install php${PHP_VERSION}-gmp \
+  apt-get -y install php${LARADOCK_PHP_VERSION}-gmp \
 ;fi
 
 ###########################################################################