| Index: options.html |
| =================================================================== |
| --- a/options.html |
| +++ b/options.html |
| @@ -20,9 +20,9 @@ |
| <html> |
| <head> |
| <meta charset="utf-8"> |
| -<link type="text/css" href="jquery-ui/css/smoothness/jquery-ui-1.8.16.custom.css" rel="stylesheet" /> |
| -<script type="text/javascript" src="jquery-ui/js/jquery-1.7.1.min.js"></script> |
| -<script type="text/javascript" src="jquery-ui/js/jquery-ui-1.8.16.custom.min.js"></script> |
| +<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="ext/common.js"></script> |
| <script type="text/javascript" src="ext/content.js"></script> |
| <script type="text/javascript" src="i18n.js" charset="utf-8"></script> |