diff options
| author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2020-10-07 18:31:28 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-07 18:31:28 -0400 |
| commit | bbb534eff5ce2034eb0d4f17239842831cdbc2d7 (patch) | |
| tree | f2b88e23e62a809e5873e977008126c41005624f /ext/bg/search.html | |
| parent | 1a91935dd75c59951369cdb7f48950124ad9bdee (diff) | |
Split source.js into two files (#894)
Diffstat (limited to 'ext/bg/search.html')
| -rw-r--r-- | ext/bg/search.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ext/bg/search.html b/ext/bg/search.html index 8b787a18..b1fb7663 100644 --- a/ext/bg/search.html +++ b/ext/bg/search.html @@ -78,7 +78,8 @@ <script src="/mixed/js/cache-map.js"></script> <script src="/mixed/js/document-util.js"></script> <script src="/fg/js/dom-text-scanner.js"></script> - <script src="/fg/js/source.js"></script> + <script src="/fg/js/text-source-range.js"></script> + <script src="/fg/js/text-source-element.js"></script> <script src="/mixed/js/audio-system.js"></script> <script src="/mixed/js/dictionary-data-util.js"></script> <script src="/mixed/js/display.js"></script> |