From 11ab0f30cda891955bc143739e8799df6ec68f65 Mon Sep 17 00:00:00 2001
From: Joe Cooper <jcooper@savioke.com>
Date: Tue, 4 Jun 2019 17:57:47 -0700
Subject: [PATCH] Switch to PHP 7.2

---
 virtualmin-install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/virtualmin-install.sh b/virtualmin-install.sh
index 82385f1..bf47365 100644
--- a/virtualmin-install.sh
+++ b/virtualmin-install.sh
@@ -222,7 +222,7 @@ fi
 vmgroup="'Virtualmin Core'"
 debvmpackages="virtualmin-core"
 deps=
-sclgroup="'Software Collections PHP 7 Environment'"
+sclgroup="'Software Collections PHP 7.2 Environment'"
 
 # This has to be installed before anything else, so it can be disabled during
 # install, and turned back on after. This is ridiculous.