From 956de914094402555ef74741ee4cf11a0ee03674 Mon Sep 17 00:00:00 2001
From: William Miceli <1-WilliamMiceli@git.williammiceli.systems>
Date: Fri, 15 Mar 2019 17:31:18 -0400
Subject: [PATCH] Needed dependency to add repository, in order to add PHP 7.2

---
 Dockerfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 40a9cb1..bb6395d 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -4,7 +4,8 @@ FROM nginx:stable
 ARG GRAV_VERSION=1.5.8
 
 # Install dependencies
-RUN add-apt-repository ppa:ondrej/php && \
+RUN apt-get install software-properties-common && \
+    add-apt-repository ppa:ondrej/php && \
     apt-get update && \
     apt-get install -y sudo wget unzip && \
     # Install PHP 7.2 and Module Requirements for Grav