Rietveld Code Review Tool
Help | Bug tracker | Discussion group | Source code

Side by Side Diff: devtools-panel.html

Issue 29573905: Issue 4580 - Replace ext.devtools with devtools Base URL: https://hg.adblockplus.org/adblockplusui/
Patch Set: Use Location.pathname Created Oct. 18, 2017, 12:23 a.m.
Left:
Right:
Use n/p to move between diff chunks; N/P to move between comments.
Jump to:
View unified diff | Download patch
OLDNEW
1 <!DOCTYPE html> 1 <!DOCTYPE html>
2 <!-- 2 <!--
3 - This file is part of Adblock Plus <https://adblockplus.org/>, 3 - This file is part of Adblock Plus <https://adblockplus.org/>,
4 - Copyright (C) 2006-present eyeo GmbH 4 - Copyright (C) 2006-present eyeo GmbH
5 - 5 -
6 - Adblock Plus is free software: you can redistribute it and/or modify 6 - Adblock Plus is free software: you can redistribute it and/or modify
7 - it under the terms of the GNU General Public License version 3 as 7 - it under the terms of the GNU General Public License version 3 as
8 - published by the Free Software Foundation. 8 - published by the Free Software Foundation.
9 - 9 -
10 - Adblock Plus is distributed in the hope that it will be useful, 10 - Adblock Plus is distributed in the hope that it will be useful,
11 - but WITHOUT ANY WARRANTY; without even the implied warranty of 11 - but WITHOUT ANY WARRANTY; without even the implied warranty of
12 - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 - GNU General Public License for more details. 13 - GNU General Public License for more details.
14 - 14 -
15 - You should have received a copy of the GNU General Public License 15 - You should have received a copy of the GNU General Public License
16 - along with Adblock Plus. If not, see <http://www.gnu.org/licenses/>. 16 - along with Adblock Plus. If not, see <http://www.gnu.org/licenses/>.
17 --> 17 -->
18 18
19 <html> 19 <html>
20 <head> 20 <head>
21 <meta charset="utf-8"> 21 <meta charset="utf-8">
22 <link type="text/css" rel="stylesheet" href="skin/devtools-panel.css"> 22 <link type="text/css" rel="stylesheet" href="skin/devtools-panel.css">
23 <script src="ext/common.js"></script> 23 <script src="ext/common.js"></script>
24 <script src="ext/content.js"></script> 24 <script src="ext/content.js"></script>
25 <script src="ext/devtools.js"></script>
26 <script src="devtools-panel.js"></script> 25 <script src="devtools-panel.js"></script>
27 </head> 26 </head>
28 <body> 27 <body>
29 <header> 28 <header>
30 <table> 29 <table>
31 <colgroup> 30 <colgroup>
32 <col> 31 <col>
33 <col> 32 <col>
34 <col> 33 <col>
35 </colgroup> 34 </colgroup>
(...skipping 62 matching lines...) Expand 10 before | Expand all | Expand 10 after
98 <div class="filter-wrapper"> 97 <div class="filter-wrapper">
99 <div class="filter">&nbsp;</div> 98 <div class="filter">&nbsp;</div>
100 <div class="origin">&nbsp;</div> 99 <div class="origin">&nbsp;</div>
101 </div> 100 </div>
102 </div> 101 </div>
103 </td> 102 </td>
104 </tr> 103 </tr>
105 </template> 104 </template>
106 </body> 105 </body>
107 </html> 106 </html>
OLDNEW
« no previous file with comments | « desktop-options.js ('k') | devtools-panel.js » ('j') | ext/background.js » ('J')

Powered by Google App Engine
This is Rietveld