| Index: devtools.html | 
| =================================================================== | 
| --- a/devtools.html | 
| +++ b/devtools.html | 
| @@ -1,8 +1,10 @@ | 
| +<!DOCTYPE html> | 
| + | 
| <!-- | 
| - This file is part of Adblock Plus <https://adblockplus.org/>, | 
| - Copyright (C) 2006-2017 eyeo GmbH | 
| - | 
| - Adblock Plus is free software: you can redistribute it and/or modify | 
| - it under the terms of the GNU General Public License version 3 as | 
| - published by the Free Software Foundation. | 
| - | 
| @@ -10,9 +12,10 @@ | 
| - but WITHOUT ANY WARRANTY; without even the implied warranty of | 
| - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the | 
| - GNU General Public License for more details. | 
| - | 
| - You should have received a copy of the GNU General Public License | 
| - along with Adblock Plus.  If not, see <http://www.gnu.org/licenses/>. | 
| --> | 
|  | 
| +<meta charset="utf-8"> | 
| <script src="devtools.js"></script> | 
|  |