diff options
| author | Guillaume Gomez <guillaume.gomez@huawei.com> | 2022-03-22 11:22:09 +0100 |
|---|---|---|
| committer | Guillaume Gomez <guillaume.gomez@huawei.com> | 2022-04-18 20:59:09 +0200 |
| commit | f9251eef688590cd4770baaa01241bbb060c2eba (patch) | |
| tree | c46a0c0761f1105c4d5e82fc130fb0c51537f8e3 | |
| parent | 699ae365dfadabb3d26f957341a9f176d73bc8af (diff) | |
| download | rust-f9251eef688590cd4770baaa01241bbb060c2eba.tar.gz rust-f9251eef688590cd4770baaa01241bbb060c2eba.zip | |
Replace unneeded use of regex with a simple if
| -rw-r--r-- | src/librustdoc/html/static/js/search.js | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/librustdoc/html/static/js/search.js b/src/librustdoc/html/static/js/search.js index 92a8279791d..421e8f31e97 100644 --- a/src/librustdoc/html/static/js/search.js +++ b/src/librustdoc/html/static/js/search.js @@ -564,7 +564,10 @@ window.initSearch = function(rawSearchIndex) { try { parseInput(query, parserState); if (parserState.typeFilter !== null) { - var typeFilter = parserState.typeFilter.replace(/^const$/, "constant"); + var typeFilter = parserState.typeFilter; + if (typeFilter === "const") { + typeFilter = "constant"; + } query.typeFilter = itemTypeFromName(typeFilter); } } catch (err) { |