diff options
author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2020-04-05 12:51:56 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-05 12:51:56 -0400 |
commit | 058f626efd6c5d6fae66346d487c10930d769971 (patch) | |
tree | 13045c5866953d6886db6faaf87fbff715fd7ceb /ext/bg/background.html | |
parent | f439d12718247411ccd0575af0d1de82aa22564a (diff) | |
parent | 7225201fb6776664d7a820e45e85c3500e83c80f (diff) |
Merge pull request #423 from toasted-nutbread/text-source-map
Text source map
Diffstat (limited to 'ext/bg/background.html')
-rw-r--r-- | ext/bg/background.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ext/bg/background.html b/ext/bg/background.html index f7cf6e55..e456717e 100644 --- a/ext/bg/background.html +++ b/ext/bg/background.html @@ -38,6 +38,7 @@ <script src="/bg/js/options.js"></script> <script src="/bg/js/profile-conditions.js"></script> <script src="/bg/js/request.js"></script> + <script src="/bg/js/text-source-map.js"></script> <script src="/bg/js/translator.js"></script> <script src="/bg/js/util.js"></script> <script src="/mixed/js/audio-system.js"></script> |