Fix website dash replacement #12718

Searching for a lint on the website will replace all of the dashes with underscores instead of only the first one.
rust-lang · Apr 26, 2024 · 1c9bf96 · 1c9bf96
1 parent de4fce8
commit 1c9bf96
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/util/gh-pages/script.js b/util/gh-pages/script.js
@@ -406,7 +406,7 @@
                 }
 
                 // Search by id
-                if (lint.id.indexOf(searchStr.replace("-", "_")) !== -1) {
+                if (lint.id.indexOf(searchStr.replaceAll("-", "_")) !== -1) {
                     return true;
                 }