2016-11-29 16:22:16 +00:00
|
|
|
{
|
2018-12-18 03:02:54 +00:00
|
|
|
"root": true,
|
2018-11-26 23:39:26 +00:00
|
|
|
"extends": [
|
|
|
|
"wikimedia/client",
|
2019-10-31 21:43:20 +00:00
|
|
|
"wikimedia/jquery",
|
|
|
|
"wikimedia/mediawiki"
|
2020-03-09 18:31:36 +00:00
|
|
|
],
|
|
|
|
"rules": {
|
|
|
|
"one-var": "off"
|
|
|
|
}
|
2016-11-29 16:22:16 +00:00
|
|
|
}
|