From d076a517ba97da60791ded641a7952a784203d59 Mon Sep 17 00:00:00 2001
From: hackademix
Date: Fri, 1 Feb 2019 00:14:50 +0100
Subject: Generic shims for Chromium derivatives.

---
 src/ui/options.html | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/ui/options.html')

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>
-- 
cgit v1.2.3