aboutsummaryrefslogtreecommitdiffhomepage
path: root/index.php
diff options
context:
space:
mode:
authorArthurHoaro <arthur@hoa.ro>2019-08-10 12:26:13 +0200
committerArthurHoaro <arthur@hoa.ro>2019-08-10 12:47:58 +0200
commitb405a44f295e51735901fdc6cdf81f60f514f1b1 (patch)
treeb0f52a8bebf29c7ce2d42d15b22560dc4710f037 /index.php
parent5f1617a480c1df17e72cb50817517eb64837be38 (diff)
downloadShaarli-b405a44f295e51735901fdc6cdf81f60f514f1b1.tar.gz
Shaarli-b405a44f295e51735901fdc6cdf81f60f514f1b1.tar.zst
Shaarli-b405a44f295e51735901fdc6cdf81f60f514f1b1.zip
Bump PHP version check in index.php
Fixes #1249
Diffstat (limited to 'index.php')
-rw-r--r--index.php4
1 files changed, 1 insertions, 3 deletions
diff --git a/index.php b/index.php
index 48d6927e..9783539a 100644
--- a/index.php
+++ b/index.php
@@ -10,8 +10,6 @@
10 * - https://github.com/sebsauvage/Shaarli 10 * - https://github.com/sebsauvage/Shaarli
11 * 11 *
12 * Licence: http://www.opensource.org/licenses/zlib-license.php 12 * Licence: http://www.opensource.org/licenses/zlib-license.php
13 *
14 * Requires: PHP 5.5.x
15 */ 13 */
16 14
17// Set 'UTC' as the default timezone if it is not defined in php.ini 15// Set 'UTC' as the default timezone if it is not defined in php.ini
@@ -86,7 +84,7 @@ use \Shaarli\Updater\Updater;
86 84
87// Ensure the PHP version is supported 85// Ensure the PHP version is supported
88try { 86try {
89 ApplicationUtils::checkPHPVersion('5.5', PHP_VERSION); 87 ApplicationUtils::checkPHPVersion('7.1', PHP_VERSION);
90} catch (Exception $exc) { 88} catch (Exception $exc) {
91 header('Content-Type: text/plain; charset=utf-8'); 89 header('Content-Type: text/plain; charset=utf-8');
92 echo $exc->getMessage(); 90 echo $exc->getMessage();