mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-28 09:40:41 +00:00
be0dff6a89
Change-Id: I62bd55936f8416caa2e1b917752d91355f7d9e7d
18 lines
320 B
Plaintext
18 lines
320 B
Plaintext
{
|
|
"preset": "wikimedia",
|
|
"disallowDanglingUnderscores": null,
|
|
"requireVarDeclFirst": null,
|
|
"jsDoc": {
|
|
"checkAnnotations": {
|
|
"preset": "jsduck5",
|
|
"extra": {
|
|
"mixin": false
|
|
}
|
|
},
|
|
"requireParamTypes": true,
|
|
"checkReturnTypes": true,
|
|
"requireReturnTypes": true,
|
|
"checkRedundantAccess": true
|
|
}
|
|
}
|