From 1713ea94ab159fd7ec7904faa4db74604a93e49b Mon Sep 17 00:00:00 2001
From: Steve Clement <steve@localhost.lu>
Date: Fri, 20 Jul 2018 18:48:01 +0200
Subject: [PATCH] fix: [php] Is 7.2 on 18.04

---
 scripts/bootstrap.sh | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/scripts/bootstrap.sh b/scripts/bootstrap.sh
index 6262e96..66e19a2 100644
--- a/scripts/bootstrap.sh
+++ b/scripts/bootstrap.sh
@@ -82,12 +82,12 @@ upload_max_filesize=50M
 post_max_size=50M
 max_execution_time=300
 memory_limit=512M
-PHP_INI='/etc/php/7.1/apache2/php.ini'
-## Starting Ubuntu 18.04 php71 is default
+PHP_INI='/etc/php/7.2/apache2/php.ini'
+## Starting Ubuntu 18.04 php72 is default
 ##vercomp 18.04 ${UBUNTU_VERSION}
 ##case $? in
-##    0) op='=';PHP_INI='/etc/php/7.1/apache2/php.ini';;
-##    1) op='>';PHP_INI='/etc/php/7.1/apache2/php.ini';;
+##    0) op='=';PHP_INI='/etc/php/7.2/apache2/php.ini';;
+##    1) op='>';PHP_INI='/etc/php/7.2/apache2/php.ini';;
 ##    2) op='<';PHP_INI='/etc/php/7.0/apache2/php.ini';;
 ##esac