wikimedia/mediawiki-extensions-CiteThisPage
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CiteThisPage synced 2024-11-27 08:50:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use json extension for .stylelintrc

Browse source 
Bug: T173516
Change-Id: Ie9845533c08f8f879514904f1806c971681c5e65
This commit is contained in:
Umherirrender 2017-08-19 09:39:39 +02:00
parent 85fca5a602
commit 8a92f50587
2 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

0
.stylelintrc → .stylelintrc.json
View file

7
Gruntfile.js
View file

@ -17,14 +17,15 @@ module.exports = function ( grunt ) {
jsonlint: { jsonlint: {
all: [ all: [
'**/*.json', '**/*.json',
'.stylelintrc', '!node_modules/**',
'!node_modules/**' '!vendor/**'
] ]
}, },
stylelint: { stylelint: {
all: [ all: [
'**/*.css', '**/*.css',
'!node_modules/**' '!node_modules/**',
'!vendor/**'
] ]
} }
} ); } );