update to latest PHP 7

diff --git a/install-ubuntu.sh b/install-ubuntu.sh
index 1f53553..46606b6 100755 (executable)
--- 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