| Index: desktop-options.html | 
| =================================================================== | 
| --- a/desktop-options.html | 
| +++ b/desktop-options.html | 
| @@ -17,16 +17,17 @@ | 
| --> | 
|  | 
| <html> | 
| <head> | 
| <meta charset="utf-8"> | 
| <title class="i18n_options_page_title"></title> | 
| <link rel="stylesheet" href="skin/common.css"> | 
| <link rel="stylesheet" href="skin/desktop-options.css"> | 
| +    <script src="polyfill.js"></script> | 
| <script src="ext/common.js"></script> | 
| <script src="ext/content.js"></script> | 
| <script src="common.js"></script> | 
| <script src="i18n.js"></script> | 
| <script src="desktop-options.js"></script> | 
| </head> | 
| <body data-tab="general"> | 
| <!-- Navigation sidebar --> | 
|  |