From bb14b365cfc4d964d32cb05acc70dc9892f0d523 Mon Sep 17 00:00:00 2001
From: Laurent Destailleur <eldy@destailleur.fr>
Date: Sat, 18 Mar 2023 02:10:59 +0100
Subject: [PATCH] Min version is now php 7.1

---
 .idea/php.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.idea/php.xml b/.idea/php.xml
index 52e0bf0ae03..74fc8003a4b 100644
--- a/.idea/php.xml
+++ b/.idea/php.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<project version="7.0">
-    <component name="PhpProjectSharedConfiguration" php_language_level="7.0" />
+<project version="7.1">
+    <component name="PhpProjectSharedConfiguration" php_language_level="7.1" />
 </project>