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.
2024-04-26 21:58:08 +03:00 · 2024-04-26 21:58:08 +03:00 · 1c9bf96b96
commit 1c9bf96b96
parent de4fce8686
1 changed files with 1 additions and 1 deletions
--- 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;
                }