mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-23 15:36:58 +00:00
eslint: remove redundant ruleset wikimedia/jsdoc
According to my testing, rulesets wikimedia/client-es6 and wikimedia/server already contain the ruleset wikimedia/jsdoc. So I don't think it needs to be declared twice. Bug: T365047 Change-Id: I5d7fef0c9594cc4c8765877aa6f783543e8a00ed
This commit is contained in:
parent
1c257ea377
commit
08f8890055
|
@ -1,7 +1,6 @@
|
||||||
{
|
{
|
||||||
"root": true,
|
"root": true,
|
||||||
"extends": [
|
"extends": [
|
||||||
"wikimedia/server",
|
"wikimedia/server"
|
||||||
"wikimedia/jsdoc"
|
|
||||||
]
|
]
|
||||||
}
|
}
|
||||||
|
|
|
@ -3,8 +3,7 @@
|
||||||
"extends": [
|
"extends": [
|
||||||
"wikimedia/client-es6",
|
"wikimedia/client-es6",
|
||||||
"wikimedia/jquery",
|
"wikimedia/jquery",
|
||||||
"wikimedia/mediawiki",
|
"wikimedia/mediawiki"
|
||||||
"wikimedia/jsdoc"
|
|
||||||
],
|
],
|
||||||
"env": {
|
"env": {
|
||||||
"commonjs": true
|
"commonjs": true
|
||||||
|
|
Loading…
Reference in a new issue