From 710e2085e67c1e6150d15da02d9cd11f40ff8791 Mon Sep 17 00:00:00 2001
From: Laurent Destailleur <eldy@destailleur.fr>
Date: Wed, 15 May 2019 11:55:07 +0200
Subject: [PATCH] Fix editorconfig

---
 .editorconfig | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.editorconfig b/.editorconfig
index 3c4bd7d679d..d00183bc073 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -1,7 +1,8 @@
-# EditorConfig is awesome: http://EditorConfig.org
+# EditorConfig is awesome: https://editorconfig.org
 
 # top-most EditorConfig file
 root = true
+
 # Unix-style newlines with a newline ending every file
 [*]
 charset = utf-8
@@ -11,9 +12,10 @@ insert_final_newline = true
 # PHP PSR-2 Coding Standards
 # http://www.php-fig.org/psr/psr-2/
 [*.php]
-indent_style = space
+indent_style = tab		# An exception of PSR2
 indent_size = 4
 trim_trailing_whitespace = true
+insert_final_newline = true
 [*.js]
 indent_style = tab
 [*.css]