From 06e8f6f849ffbe565ef58500b40e2b90f31c3456 Mon Sep 17 00:00:00 2001
From: Eric Huss <eric@huss.org>
Date: Thu, 17 Apr 2025 09:24:45 -0700
Subject: [PATCH] Fix wrong quotes for eslint

---
 src/front-end/searcher/searcher.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/front-end/searcher/searcher.js b/src/front-end/searcher/searcher.js
index 6d069ec4..52b4b454 100644
--- a/src/front-end/searcher/searcher.js
+++ b/src/front-end/searcher/searcher.js
@@ -30,7 +30,7 @@ window.search = window.search || {};
         content = document.getElementById('content'),
 
         // SVG text elements don't render if inside a <mark> tag.
-        mark_exclude = ["text"],
+        mark_exclude = ['text'],
         marker = new Mark(content),
         URL_SEARCH_PARAM = 'search',
         URL_MARK_PARAM = 'highlight',