From 8371eefa97593cc6df5a1d5296e8e13a62de06ab Mon Sep 17 00:00:00 2001
From: Martin Winkler <efelon@winklerfamilie.eu>
Date: Thu, 16 Apr 2020 21:08:02 +0000
Subject: [PATCH] Bump php version to 7.3

---
 seqs/webserverUbuntu.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/seqs/webserverUbuntu.sh b/seqs/webserverUbuntu.sh
index 0410133..517ab26 100755
--- a/seqs/webserverUbuntu.sh
+++ b/seqs/webserverUbuntu.sh
@@ -2,7 +2,7 @@
 
 serverName="nginx"
 serverPackages="nginx"
-phpVersion="7.2"
+phpVersion="7.3"
 phpName="php$phpVersion"
 phpPackages="${phpName}-fpm ${phpName}-json ${phpName}-mysql ${phpName}-curl ${phpName}-intl ${phpName}-gd ${phpName}-zip ${phpName}-xml ${phpName}-mbstring php-imagick php-apcu"
 
@@ -88,5 +88,5 @@ step_4() {
   echo "ok"
 }
 
-VERSION_SEQREV=9
+VERSION_SEQREV=10
 . /usr/local/bin/sequencer.sh