Issue 154 - Added UI for devtools panel on Chrome

ext/devtools.js

+/*
+ * This file is part of Adblock Plus <https://adblockplus.org/>,
+ * Copyright (C) 2006-2015 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.
+ *
+ * Adblock Plus is distributed in the hope that it will be useful,
+ * 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/>.
+ */
+
+(function(global)
+{
+  if (!global.ext)
+    global.ext = {};
+
+  global.ext.devtools = {
+    panels: {
+      openResource: function() {}
+    },
+
+    inspectedWindow: {
+      reload: function() {}
+    }
+  };
+
+  global.ext.backgroundPage._sendRawMessage({type: "devtools"});
+})(this);