| 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="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 |
| { |