From b405a44f295e51735901fdc6cdf81f60f514f1b1 Mon Sep 17 00:00:00 2001
From: ArthurHoaro <arthur@hoa.ro>
Date: Sat, 10 Aug 2019 12:26:13 +0200
Subject: [PATCH] Bump PHP version check in index.php

Fixes #1249
---
 index.php | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/index.php b/index.php
index 48d6927e..9783539a 100644
--- a/index.php
+++ b/index.php
@@ -10,8 +10,6 @@
  *  - https://github.com/sebsauvage/Shaarli
  *
  * Licence: http://www.opensource.org/licenses/zlib-license.php
- *
- * Requires: PHP 5.5.x
  */
 
 // Set 'UTC' as the default timezone if it is not defined in php.ini
@@ -86,7 +84,7 @@
 
 // Ensure the PHP version is supported
 try {
-    ApplicationUtils::checkPHPVersion('5.5', PHP_VERSION);
+    ApplicationUtils::checkPHPVersion('7.1', PHP_VERSION);
 } catch (Exception $exc) {
     header('Content-Type: text/plain; charset=utf-8');
     echo $exc->getMessage();