From 8bd33d6dcfd4e68282188a271a629feb60605f76 Mon Sep 17 00:00:00 2001
From: Joas Schilling <coding@schilljs.com>
Date: Tue, 12 Nov 2019 17:48:17 +0100
Subject: [PATCH] Remove special php setting as it is the default

Signed-off-by: Joas Schilling <coding@schilljs.com>
---
 .editorconfig | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/.editorconfig b/.editorconfig
index d0eba25fbab..35630aa12db 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -10,8 +10,5 @@ indent_style = tab
 insert_final_newline = true
 trim_trailing_whitespace = true
 
-[*.php]
-indent_size = 4
-
 [*.md]
 trim_trailing_whitespace = false