mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/MultimediaViewer
synced 2024-11-25 16:46:15 +00:00
b46529d1b2
These replace the hard-coded jshint task in CI. Change-Id: Id14eec1ecba4ceae735ffd10f9114233a580302f
20 lines
379 B
Plaintext
20 lines
379 B
Plaintext
{
|
|
"preset": "wikimedia",
|
|
|
|
"jsDoc": {
|
|
"checkAnnotations": {
|
|
"preset": "jsduck5",
|
|
"extra": {
|
|
"source": true,
|
|
"see": true
|
|
}
|
|
},
|
|
"checkParamNames": true,
|
|
"checkRedundantAccess": true,
|
|
"checkRedundantReturns": true,
|
|
"checkTypes": "strictNativeCase",
|
|
"requireNewlineAfterDescription": true,
|
|
"requireParamTypes": true,
|
|
"requireReturnTypes": true
|
|
}
|
|
} |