mediawiki-extensions-Popups/.eslintrc.json
Thiemo Kreuz 76e02fae98 Remove obsolete mediaWiki and jQuery aliases
Notice how this actually reduces the size of the final, compiled index.js.
It's not much, but still.

One issue I noticed is that the coverage reports for the JS code stopped
working. I have no idea why.

Bug: T208951
Change-Id: I2fe92579574b3b1ba4d2dd064899eee944045a96
2019-10-22 09:30:46 +02:00

24 lines
331 B
JSON

{
"root": true,
"extends": [
"wikimedia/client",
"wikimedia/jquery",
"wikimedia/language/es6"
],
"parserOptions": {
"sourceType": "module"
},
"env": {
"browser": true,
"jquery": true,
"commonjs": true
},
"globals": {
"mw": "readonly",
"OO": "readonly"
},
"rules": {
"no-use-before-define": "off"
}
}