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