From 453335f16e8c2e634f590f29c5ed849f5dc15133 Mon Sep 17 00:00:00 2001
From: Umherirrender <umherirrender_de.wp@web.de>
Date: Tue, 18 Jul 2017 20:13:46 +0200
Subject: [PATCH] Fix indent in json files

Change-Id: Id873facdf4d0aece5883f3ced79f7fb17aa6de8a
---
 Gruntfile.js   |  1 +
 extension.json |  2 +-
 package.json   | 24 ++++++++++++------------
 3 files changed, 14 insertions(+), 13 deletions(-)

diff --git a/Gruntfile.js b/Gruntfile.js
index 90f0e221..9ef1985c 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -26,6 +26,7 @@ module.exports = function ( grunt ) {
 		jsonlint: {
 			all: [
 				'**/*.json',
+				'.stylelintrc',
 				'!node_modules/**'
 			]
 		}
diff --git a/extension.json b/extension.json
index a12a42aa..83621133 100644
--- a/extension.json
+++ b/extension.json
@@ -11,7 +11,7 @@
 	"license-name": "GPL-2.0+",
 	"requires": {
 		"MediaWiki": ">= 1.23.0"
-    },
+	},
 	"MessagesDirs": {
 		"CodeMirror": [
 			"i18n"
diff --git a/package.json b/package.json
index cbdba547..6d8a7715 100644
--- a/package.json
+++ b/package.json
@@ -1,14 +1,14 @@
 {
-  "scripts": {
-    "test": "grunt test"
-  },
-  "devDependencies": {
-    "eslint-config-wikimedia": "0.4.0",
-    "grunt": "1.0.1",
-    "grunt-banana-checker": "0.5.0",
-    "grunt-eslint": "19.0.0",
-    "grunt-jsonlint": "1.1.0",
-    "grunt-stylelint": "0.7.0",
-    "stylelint-config-wikimedia": "0.4.1"
-  }
+	"scripts": {
+		"test": "grunt test"
+	},
+	"devDependencies": {
+		"eslint-config-wikimedia": "0.4.0",
+		"grunt": "1.0.1",
+		"grunt-banana-checker": "0.5.0",
+		"grunt-eslint": "19.0.0",
+		"grunt-jsonlint": "1.1.0",
+		"grunt-stylelint": "0.7.0",
+		"stylelint-config-wikimedia": "0.4.1"
+	}
 }