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

Unified 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.
Use n/p to move between diff chunks; N/P to move between comments.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « desktop-options.js ('k') | devtools-panel.js » ('j') | ext/background.js » ('J')
Expand Comments ('e') | Collapse Comments ('c') | Show Comments 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>
<script src="devtools-panel.js"></script>
</head>
<body>
<header>
<table>
<colgroup>
<col>
<col>
« 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