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 /dev | |
parent | 1a91935dd75c59951369cdb7f48950124ad9bdee (diff) |
Split source.js into two files (#894)
Diffstat (limited to 'dev')
-rw-r--r-- | dev/data/manifest-variants.json | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dev/data/manifest-variants.json b/dev/data/manifest-variants.json index 9b5793eb..b8f5c09d 100644 --- a/dev/data/manifest-variants.json +++ b/dev/data/manifest-variants.json @@ -49,7 +49,8 @@ "mixed/js/document-util.js", "fg/js/dom-text-scanner.js", "fg/js/popup.js", - "fg/js/source.js", + "fg/js/text-source-range.js", + "fg/js/text-source-element.js", "fg/js/popup-factory.js", "fg/js/frame-offset-forwarder.js", "fg/js/popup-proxy.js", |