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 |