Unified Diff: devtools-panel.html
Issue 29573905:
Issue 4580 - Replace ext.devtools with devtools
Base URL: https://hg.adblockplus.org/adblockplusui/
Patch Set: Use runtime.onConnect
Created Oct. 12, 2017, 1:22 a.m.
Use n/p to move between diff chunks;
N/P to move between comments.
« background.js ('K')
|
« desktop-options.js ('k')
|
devtools-panel.js » ('j')
|
devtools-panel.js » ('J')
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
| Index: devtools-panel.html |
| =================================================================== |
| --- a/devtools-panel.html |
| +++ b/devtools-panel.html |
| @@ -17,17 +17,16 @@ |
| --> |
| <html> |
| <head> |
| <meta charset="utf-8"> |
| <link type="text/css" rel="stylesheet" href="skin/devtools-panel.css"> |
| <script src="ext/common.js"></script> |
| <script src="ext/content.js"></script> |
| - <script src="ext/devtools.js"></script> |
|
Manish Jethani
2017/10/12 01:30:02
ext/devtools.js is no longer required.
|
| <script src="devtools-panel.js"></script> |
| </head> |
| <body> |
| <header> |
| <table> |
| <colgroup> |
| <col> |
| <col> |
« background.js ('K')
|
« desktop-options.js ('k')
|
devtools-panel.js » ('j')
|
devtools-panel.js » ('J')
