mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CiteThisPage
synced 2024-11-24 23:45:54 +00:00
8749611dc6
* eslint-config-wikimedia: 0.12.0 → 0.15.0 * grunt-eslint: 21.0.0 → 22.0.0 * stylelint-config-wikimedia: 0.6.0 → 0.8.0 * grunt-stylelint: 0.11.1 → 0.13.0 Additional changes: * Removing manual reportUnusedDisableDirectives for eslint. Change-Id: I9334feb3c736ccb5bfbc050232d379ca8ccb03f0
18 lines
257 B
JSON
18 lines
257 B
JSON
{
|
|
"root": true,
|
|
"extends": [
|
|
"wikimedia/client",
|
|
"wikimedia/jquery"
|
|
],
|
|
"globals": {
|
|
"ve": true,
|
|
"VisualEditorSupportCheck": false,
|
|
"OO": false,
|
|
"unicodeJS": false,
|
|
"RangeFix": false,
|
|
"Papa": false,
|
|
"mw": false,
|
|
"require": false
|
|
}
|
|
}
|