From 974aef4d2e71298d1a6ec9514ac7afdcf98c2636 Mon Sep 17 00:00:00 2001
From: toasted-nutbread <toasted-nutbread@users.noreply.github.com>
Date: Wed, 20 Jan 2021 20:16:54 -0500
Subject: [PATCH] Fix missing script on the old setting page (#1281)

---
 ext/bg/settings.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ext/bg/settings.html b/ext/bg/settings.html
index e413c5ff..71da3fb3 100644
--- a/ext/bg/settings.html
+++ b/ext/bg/settings.html
@@ -1291,6 +1291,7 @@
         <script src="/mixed/js/document-util.js"></script>
         <script src="/mixed/js/dom-data-binder.js"></script>
         <script src="/mixed/js/html-template-collection.js"></script>
+        <script src="/mixed/js/hotkey-util.js"></script>
         <script src="/mixed/js/object-property-accessor.js"></script>
         <script src="/mixed/js/selector-observer.js"></script>
         <script src="/mixed/js/task-accumulator.js"></script>