wikimedia/mediawiki-extensions-Cite
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite synced 2024-09-27 04:07:11 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Use json extension for .stylelintrc"

Browse source
This commit is contained in:
jenkins-bot 2017-08-19 23:05:01 +00:00 committed by Gerrit Code Review
parent c04825e958 4c89ab4b62
commit f1eac9b23a
2 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

0
.stylelintrc → .stylelintrc.json
View file

1
Gruntfile.js
View file

@ -35,7 +35,6 @@ module.exports = function ( grunt ) {
jsonlint: { jsonlint: {
all: [ all: [
'**/*.json', '**/*.json',
'.stylelintrc',
'!node_modules/**', '!node_modules/**',
'!vendor/**' '!vendor/**'
] ]