From 7c3659d5ba9a81ae63b36bd7bbea48603d150890 Mon Sep 17 00:00:00 2001 From: Pierre Goiffon Date: Fri, 18 Sep 2020 18:26:31 +0200 Subject: [PATCH] :wrench: Remove versionned PHPStorm files Those files were duplicates of the .editorconfig file .editorconfig was pushed with ecd8f40c0f1c692f94e2f79d11be842e2d41eec4 for 2.7.0 and should be the only source of the IDE / editor configuration This generic format is implemented in PHPStorm since v2019.2 (see https://blog.jetbrains.com/idea/2019/06/managing-code-style-on-a-directory-level-with-editorconfig/) To check if your IDE / editor supports it, check https://editorconfig.org/ --- .gitignore | 5 - .idea/codeStyles/Project.xml | 74 -------- .idea/codeStyles/codeStyleConfig.xml | 5 - .idea/encodings.xml | 6 - .idea/inspectionProfiles/Combodo.xml | 171 ------------------ .idea/inspectionProfiles/Project_Default.xml | 19 -- .../inspectionProfiles/profiles_settings.xml | 6 - 7 files changed, 286 deletions(-) delete mode 100644 .idea/codeStyles/Project.xml delete mode 100644 .idea/codeStyles/codeStyleConfig.xml delete mode 100644 .idea/encodings.xml delete mode 100644 .idea/inspectionProfiles/Combodo.xml delete mode 100644 .idea/inspectionProfiles/Project_Default.xml delete mode 100644 .idea/inspectionProfiles/profiles_settings.xml diff --git a/.gitignore b/.gitignore index 3f995a7f3..92eb71a34 100644 --- a/.gitignore +++ b/.gitignore @@ -40,11 +40,6 @@ test/vendor/* # Jetbrains /.idea/** -!/.idea/encodings.xml -!/.idea/codeStyles -!/.idea/codeStyles/* -!/.idea/inspectionProfiles -!/.idea/inspectionProfiles/* # doc. generation /.doc/vendor diff --git a/.idea/codeStyles/Project.xml b/.idea/codeStyles/Project.xml deleted file mode 100644 index 6af43b87d..000000000 --- a/.idea/codeStyles/Project.xml +++ /dev/null @@ -1,74 +0,0 @@ - - - - \ No newline at end of file diff --git a/.idea/codeStyles/codeStyleConfig.xml b/.idea/codeStyles/codeStyleConfig.xml deleted file mode 100644 index d68e1e434..000000000 --- a/.idea/codeStyles/codeStyleConfig.xml +++ /dev/null @@ -1,5 +0,0 @@ - - - - \ No newline at end of file diff --git a/.idea/encodings.xml b/.idea/encodings.xml deleted file mode 100644 index c2bae49d7..000000000 --- a/.idea/encodings.xml +++ /dev/null @@ -1,6 +0,0 @@ - - - - - - \ No newline at end of file diff --git a/.idea/inspectionProfiles/Combodo.xml b/.idea/inspectionProfiles/Combodo.xml deleted file mode 100644 index 763f7a53d..000000000 --- a/.idea/inspectionProfiles/Combodo.xml +++ /dev/null @@ -1,171 +0,0 @@ - - - - \ No newline at end of file diff --git a/.idea/inspectionProfiles/Project_Default.xml b/.idea/inspectionProfiles/Project_Default.xml deleted file mode 100644 index b9013fdbd..000000000 --- a/.idea/inspectionProfiles/Project_Default.xml +++ /dev/null @@ -1,19 +0,0 @@ - - - - \ No newline at end of file diff --git a/.idea/inspectionProfiles/profiles_settings.xml b/.idea/inspectionProfiles/profiles_settings.xml deleted file mode 100644 index 7f3af8c75..000000000 --- a/.idea/inspectionProfiles/profiles_settings.xml +++ /dev/null @@ -1,6 +0,0 @@ - - - - \ No newline at end of file