From a7d3c53979bd5c13e7142349da3a363826834e97 Mon Sep 17 00:00:00 2001
From: cytopia <cytopia@everythingcli.org>
Date: Sat, 30 Nov 2019 22:50:43 +0100
Subject: [PATCH] Make PHP 7.3 the default

---
 env-example | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/env-example b/env-example
index 4a7f2a58..f6ff2222 100644
--- a/env-example
+++ b/env-example
@@ -261,8 +261,8 @@ DEVILBOX_VENDOR_PHPPGADMIN_AUTOLOGIN=1
 #PHP_SERVER=5.6
 #PHP_SERVER=7.0
 #PHP_SERVER=7.1
-PHP_SERVER=7.2
-#PHP_SERVER=7.3
+#PHP_SERVER=7.2
+PHP_SERVER=7.3
 #PHP_SERVER=7.4
 #PHP_SERVER=8.0