Side by Side Diff: devtools.html
Issue 29570614:
Issue 5028 - Use browser namespace (Closed)
Base URL: https://hg.adblockplus.org/adblockpluschrome/
Patch Set: Update adblockplusui dependency
Created Oct. 17, 2017, 1:02 p.m.
| Left: | ||
| Right: |
Use n/p to move between diff chunks;
N/P to move between comments.
« no previous file with comments
|
« desktop-options.js ('k')
|
devtools.js » ('j')
|
no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
| OLD | NEW |
|---|---|
| 1 <!DOCTYPE html> | 1 <!DOCTYPE html> |
| 2 | 2 |
| 3 <!-- | 3 <!-- |
| 4 - This file is part of Adblock Plus <https://adblockplus.org/>, | 4 - This file is part of Adblock Plus <https://adblockplus.org/>, |
| 5 - Copyright (C) 2006-present eyeo GmbH | 5 - Copyright (C) 2006-present eyeo GmbH |
| 6 - | 6 - |
| 7 - Adblock Plus is free software: you can redistribute it and/or modify | 7 - Adblock Plus is free software: you can redistribute it and/or modify |
| 8 - it under the terms of the GNU General Public License version 3 as | 8 - it under the terms of the GNU General Public License version 3 as |
| 9 - published by the Free Software Foundation. | 9 - published by the Free Software Foundation. |
| 10 - | 10 - |
| 11 - Adblock Plus is distributed in the hope that it will be useful, | 11 - Adblock Plus is distributed in the hope that it will be useful, |
| 12 - but WITHOUT ANY WARRANTY; without even the implied warranty of | 12 - but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 13 - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | 13 - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 14 - GNU General Public License for more details. | 14 - GNU General Public License for more details. |
| 15 - | 15 - |
| 16 - You should have received a copy of the GNU General Public License | 16 - You should have received a copy of the GNU General Public License |
| 17 - along with Adblock Plus. If not, see <http://www.gnu.org/licenses/>. | 17 - along with Adblock Plus. If not, see <http://www.gnu.org/licenses/>. |
| 18 --> | 18 --> |
| 19 | 19 |
| 20 <meta charset="utf-8"> | 20 <meta charset="utf-8"> |
| 21 <script src="polyfill.js"></script> | |
| 21 <script src="devtools.js"></script> | 22 <script src="devtools.js"></script> |
| OLD | NEW |
« no previous file with comments
|
« desktop-options.js ('k')
|
devtools.js » ('j')
|
no next file with comments »
