From 1c9bf96b96f17ac177efaec22841e2ef3addd14c Mon Sep 17 00:00:00 2001
From: Roddy Rappaport <roddy.rappaport@gmail.com>
Date: Fri, 26 Apr 2024 21:58:08 +0300
Subject: [PATCH] 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.
---
 util/gh-pages/script.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/gh-pages/script.js b/util/gh-pages/script.js
index c63edd5bf70..7fd779fe9a4 100644
--- 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;
                 }