search.js: local variable extra is an array, annotate it as such.
This commit is contained in:
parent
32ebe8ed04
commit
d130e25455
1 changed files with 2 additions and 2 deletions
|
|
@ -2398,9 +2398,9 @@ class DocSearch {
|
|||
continue;
|
||||
}
|
||||
if (!foundStopChar) {
|
||||
let extra = "";
|
||||
/** @type String[] */
|
||||
let extra = [];
|
||||
if (isLastElemGeneric(query.elems, parserState)) {
|
||||
// @ts-expect-error
|
||||
extra = [" after ", ">"];
|
||||
} else if (prevIs(parserState, "\"")) {
|
||||
throw ["Cannot have more than one element if you use quotes"];
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue