From 9510b22b417c8e3cc787726f0221944095e7de30 Mon Sep 17 00:00:00 2001
From: Chris Sharp <csharp@georgialibraries.org>
Date: Thu, 23 Apr 2020 11:15:01 -0400
Subject: [PATCH] update to latest PHP 7

---
 install-ubuntu.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/install-ubuntu.sh b/install-ubuntu.sh
index 1f53553..46606b6 100755
--- a/install-ubuntu.sh
+++ b/install-ubuntu.sh
@@ -28,12 +28,14 @@ RELEASE="$(lsb_release -r | awk '{print $2}')"
 OSRF_WEB_ROOT="/openils/var/web"
 if [ "$DISTRO" == "Ubuntu" ]; then
 	APT_TOOL="apt"
-	PREREQS="php7.0 php7.0-gd php7.0-pgsql php7.0-xml php7.0-dev php-memcache php-pear libapache2-mod-php7.0"
 	APACHE_RESTART="systemctl restart apache2.service"
     # for 16.04, add the ondrej PPA to get the right PHP versions
 	if [ "$RELEASE" == "16.04" ]; then
+	    PREREQS="php7.0 php7.0-gd php7.0-pgsql php7.0-xml php7.0-dev php-memcache php-pear libapache2-mod-php7.0"
         add-apt-repository -y $PPA
-	fi
+	elif [ "$RELEASE" == "18.04" ]; then
+	    PREREQS="php7.2 php7.2-gd php7.2-pgsql php7.2-xml php7.2-dev php-memcache php-pear libapache2-mod-php7.2"
+    fi
 else
 	echo "You do not appear to be running Ubuntu.  Please install manually."
 	exit 1
-- 
2.11.0