mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-12 09:26:05 +00:00
12eff85cf7
Only used in external.js to render a simple link. These methods don't have a regular description and as such the link renders effectively the same way in the same place without `@source`. Change-Id: I83cd524b6b53e67c5c2d18258c804ebd49a29b74
24 lines
495 B
Plaintext
24 lines
495 B
Plaintext
{
|
|
"preset": "wikimedia",
|
|
"disallowDanglingUnderscores": null,
|
|
"jsDoc": {
|
|
"checkAnnotations": {
|
|
"preset": "jsduck5",
|
|
"extra": {
|
|
"mixin": false,
|
|
"todo": true,
|
|
"see": true
|
|
}
|
|
},
|
|
"requireParamTypes": true,
|
|
"checkReturnTypes": true,
|
|
"checkParamNames": true,
|
|
"checkTypes": "strictNativeCase",
|
|
"requireReturnTypes": true,
|
|
"checkRedundantAccess": true,
|
|
"checkRedundantParams": true,
|
|
"checkRedundantReturns": true,
|
|
"requireNewlineAfterDescription": true
|
|
}
|
|
}
|