From 737620ee3724e6c57c9c503ef2fed73259808c51 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Bonhomme?= <cedric@cedricbonhomme.org>
Date: Sun, 28 Jan 2018 17:16:24 +0100
Subject: [PATCH] Uses the right PHP_INI file.

---
 scripts/bootstrap.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/bootstrap.sh b/scripts/bootstrap.sh
index bf28bb0..c4113ba 100644
--- a/scripts/bootstrap.sh
+++ b/scripts/bootstrap.sh
@@ -75,7 +75,7 @@ upload_max_filesize=50M
 post_max_size=50M
 max_execution_time=300
 memory_limit=512M
-PHP_INI=/etc/php/7.0/apache2/php.ini
+PHP_INI=/etc/php/7.1/apache2/php.ini
 ## Starting Ubuntu 18.04 php71 is default
 # vercomp 18.04 ${UBUNTU_VERSION}
 # case $? in