Index: desktop-options.html
===================================================================
--- a/desktop-options.html
+++ b/desktop-options.html
@@ -18,16 +18,17 @@
   -->
 
 <html>
 <head>
 <meta charset="utf-8">
 <link type="text/css" href="jquery-ui/css/smoothness/jquery-ui-1.12.1.custom.css" rel="stylesheet" />
 <script type="text/javascript" src="jquery-ui/js/jquery-3.2.1.min.js"></script>
 <script type="text/javascript" src="jquery-ui/js/jquery-ui-1.12.1.custom.min.js"></script>
+<script type="text/javascript" src="base.js"></script>
 <script type="text/javascript" src="polyfill.js"></script>
 <script type="text/javascript" src="ext/common.js"></script>
 <script type="text/javascript" src="ext/content.js"></script>
 <script type="text/javascript" src="i18n.js" charset="utf-8"></script>
 <script type="text/javascript" src="desktop-options.js" charset="utf-8"></script>
 <title>Adblock Plus Options</title>
 <style type="text/css" media="screen">
 body
