mediawiki-extensions-Discus.../.eslintrc.json
libraryupgrader 1fca3fbd5c build: Updating eslint-config-wikimedia to 0.19.0
Additional changes:
* eslint: Renamed `wikimedia/client` profile to `client-es5` (T277085).

Change-Id: I67378fec29920bc3208b723c2e118b45abf6558a
2021-03-13 10:51:31 +00:00

23 lines
284 B
JSON

{
"root": true,
"extends": [
"wikimedia/client-es5",
"wikimedia/jquery",
"wikimedia/mediawiki"
],
"globals": {
"ve": "readonly",
"RangeFix": "readonly"
},
"overrides": [
{
"files": [
"i18n/**/*.json"
],
"rules": {
"sort-keys": "error"
}
}
]
}