From e05da56d6b21dc65367425f1751eaaf2522a9de9 Mon Sep 17 00:00:00 2001
From: Serial <69764315+Serial-ATA@users.noreply.github.com>
Date: Wed, 18 May 2022 15:37:05 -0400
Subject: [PATCH] `textContent` -> `innerHTML`

---
 util/gh-pages/script.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/util/gh-pages/script.js b/util/gh-pages/script.js
index 4bff225983d..bf4ce79b2cb 100644
--- a/util/gh-pages/script.js
+++ b/util/gh-pages/script.js
@@ -262,16 +262,16 @@
                 const clipboard = document.getElementById("clipboard-" + lint.id);
                 if (clipboard) {
                     let resetClipboardTimeout = null;
-                    let resetClipboardIcon = clipboard.textContent;
+                    let resetClipboardIcon = clipboard.innerHTML;
 
                     function resetClipboard() {
                         resetClipboardTimeout = null;
-                        clipboard.textContent = resetClipboardIcon;
+                        clipboard.innerHTML = resetClipboardIcon;
                     }
 
                     navigator.clipboard.writeText("clippy::" + lint.id);
 
-                    clipboard.textContent = "✓";
+                    clipboard.innerHTML = "&#10003;";
                     if (resetClipboardTimeout !== null) {
                         clearTimeout(resetClipboardTimeout);
                     }