diff options
author | hackademix | 2019-02-01 00:14:50 +0100 |
---|---|---|
committer | hackademix | 2019-02-01 00:26:40 +0100 |
commit | d076a517ba97da60791ded641a7952a784203d59 (patch) | |
tree | a9a196e2f76a1e8f6be9fa508200b7fa273f94ef /src/ui/options.html | |
parent | 82313cc766a4b6351e76ef39c92fa3bd36576b00 (diff) | |
download | noscript-d076a517ba97da60791ded641a7952a784203d59.tar.gz noscript-d076a517ba97da60791ded641a7952a784203d59.tar.xz noscript-d076a517ba97da60791ded641a7952a784203d59.zip |
Generic shims for Chromium derivatives.
Diffstat (limited to 'src/ui/options.html')
-rw-r--r-- | src/ui/options.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/ui/options.html b/src/ui/options.html index 6e2ad0e..4d44d75 100644 --- a/src/ui/options.html +++ b/src/ui/options.html @@ -8,6 +8,8 @@ <link rel="stylesheet" href="/lib/flextabs.css" /> <link rel="stylesheet" href="options.css" /> <link rel="stylesheet" href="whirlpool.css" /> +<script src="/lib/UA.js"></script> +<script src="/lib/browser-polyfill.js"></script> <script src="/lib/include.js"></script> <script src="/lib/log.js"></script> <script src="/lib/flextabs.js"></script> |