From 46c774cd8ccc83602116519a19526e479b3cf2a6 Mon Sep 17 00:00:00 2001
From: J0WI <J0WI@users.noreply.github.com>
Date: Mon, 14 Jan 2019 17:10:19 +0100
Subject: [PATCH] Set default PHP version to 7.3

Signed-off-by: J0WI <J0WI@users.noreply.github.com>
---
 update.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/update.sh b/update.sh
index 9b6149d7..31dd6182 100755
--- a/update.sh
+++ b/update.sh
@@ -2,8 +2,9 @@
 set -eo pipefail
 
 declare -A php_version=(
-	[default]='7.2'
-	[15.0]='7.3'
+	[default]='7.3'
+	[14.0]='7.2'
+	[13.0]='7.2'
 )
 
 declare -A cmd=(