From 9e5487f982e9747b6c7b262b8ef22dd44d909edf Mon Sep 17 00:00:00 2001
From: Aviv Keller <38299977+RedYetiDev@users.noreply.github.com>
Date: Tue, 19 Mar 2024 08:40:50 -0400
Subject: [PATCH] Update search.html
---
docs/_layouts/search.html | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/docs/_layouts/search.html b/docs/_layouts/search.html
index 355a7e83eeb4..581e3948e649 100644
--- a/docs/_layouts/search.html
+++ b/docs/_layouts/search.html
@@ -47,11 +47,11 @@
Member Results
// Set search term and title:
var searchTerm = decodeURIComponent(parameters["searchTerm"]);
- document.getElementById("searching-for").innerHTML = 'Search results for "' + searchTerm + '"';
+ document.getElementById("searching-for").innerText = 'Search results for "' + searchTerm + '"';
document.title = searchTerm + ' - Search results';
if (!window.Worker) {
- document.getElementById("searching-for").innerHTML =
+ document.getElementById("searching-for").innerText =
"Couldn't search for \"" + searchTerm + "\", " +
"web workers not supported. Please update your browser.";
}