mediawiki-extensions-WikiEd.../package.json
libraryupgrader 4c3e587f46 build: Updating grunt-stylelint to 0.18.0
Change-Id: I6116e1683f17163dbad6774d8aa4aabfad58afcb
2022-11-13 11:01:17 +00:00

19 lines
406 B
JSON

{
"name": "WikiEditor",
"private": true,
"scripts": {
"test": "grunt test && npm run doc",
"doc": "jsdoc -c jsdoc.json"
},
"devDependencies": {
"eslint-config-wikimedia": "0.22.1",
"grunt": "1.5.3",
"grunt-banana-checker": "0.10.0",
"grunt-eslint": "24.0.0",
"grunt-stylelint": "0.18.0",
"jsdoc": "^3.6.10",
"jsdoc-wmf-theme": "^0.0.5",
"stylelint-config-wikimedia": "0.13.0"
}
}