wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-23 22:03:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix indent in json files

Browse source 
Change-Id: Id873facdf4d0aece5883f3ced79f7fb17aa6de8a
This commit is contained in:
Umherirrender 2017-07-18 20:13:46 +02:00
parent 7ad9ef2de1
commit 453335f16e
3 changed files with 14 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Gruntfile.js
View file

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

2
extension.json
View file

@ -11,7 +11,7 @@
"license-name": "GPL-2.0+",
"requires": {
"MediaWiki": ">= 1.23.0"
},
},
"MessagesDirs": {
"CodeMirror": [
"i18n"

24
package.json
View file

@ -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"
}
}