diff options
| author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2021-01-20 20:16:54 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-20 20:16:54 -0500 |
| commit | 974aef4d2e71298d1a6ec9514ac7afdcf98c2636 (patch) | |
| tree | 2971ad83b1848607d044c4b3fd9e39a41c328ff5 /ext | |
| parent | d668b653a623d58f82be8a87ea69368533293966 (diff) | |
Fix missing script on the old setting page (#1281)
Diffstat (limited to 'ext')
| -rw-r--r-- | ext/bg/settings.html | 1 |
1 files changed, 1 insertions, 0 deletions
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> |