| Index: options.html | 
| =================================================================== | 
| --- a/options.html | 
| +++ b/options.html | 
| @@ -15,19 +15,19 @@ | 
| - | 
| - You should have received a copy of the GNU General Public License | 
| - along with Adblock Plus.  If not, see <http://www.gnu.org/licenses/>. | 
| --> | 
|  | 
| <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> | 
| <script type="text/javascript" src="options.js" charset="utf-8"></script> | 
| <title>Adblock Plus Options</title> | 
| <style type="text/css" media="screen"> | 
| body | 
| { | 
|  |