From 239c7dff62a1dfe863d2eab5bad595dcc3b3fad2 Mon Sep 17 00:00:00 2001
From: Umherirrender <umherirrender_de.wp@web.de>
Date: Sat, 19 Aug 2017 09:58:39 +0200
Subject: [PATCH] Use json extension for .stylelintrc

Bug: T173516
Change-Id: I79efadb3c75b3c14f81d7bd7848beafef71e2dd9
---
 .stylelintrc => .stylelintrc.json |  0
 Gruntfile.js                      | 11 +++++++----
 2 files changed, 7 insertions(+), 4 deletions(-)
 rename .stylelintrc => .stylelintrc.json (100%)

diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 3200e4779..9fe331a45 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -13,18 +13,20 @@ module.exports = function ( grunt ) {
 		jsonlint: {
 			all: [
 				'**/*.json',
-				'!node_modules/**'
+				'!node_modules/**',
+				'!vendor/**'
 			]
 		},
 		stylelint: {
 			all: [
 				'**/*.css',
-				'!node_modules/**'
+				'!node_modules/**',
+				'!vendor/**'
 			]
 		},
 		watch: {
 			files: [
-				'.{stylelintrc,.eslintrc.json}',
+				'.{stylelintrc,.eslintrc}.json',
 				'<%= eslint.all %>',
 				'<%= stylelint.all %>'
 			],
@@ -34,7 +36,8 @@ module.exports = function ( grunt ) {
 			all: [
 				'*.js',
 				'modules/**/*.js',
-				'!**/node_modules/**'
+				'!**/node_modules/**',
+				'!vendor/**'
 			]
 		}
 	} );