1 files changed, 0 insertions, 17 deletions
diff --git a/data/extensions/https-everywhere@eff.org/pages/devtools/ux.js b/data/extensions/https-everywhere@eff.org/pages/devtools/ux.js
deleted file mode 100644
index 8244cbf..0000000
--- a/data/extensions/https-everywhere@eff.org/pages/devtools/ux.js
+++ /dev/null
@@ -1,17 +0,0 @@
-/* global sendMessage */
-
-"use strict";
-
-const defaultOptions = {
-  showDevtoolsTab: true
-};
-
-sendMessage("get_option", defaultOptions, item => {
-  if (item.showDevtoolsTab) {
-    chrome.devtools.panels.create("HTTPS Everywhere",
-      "/images/icons/icon-active-38.png",
-      "/pages/devtools/panel.html",
-      function() { }
-    );
-  }
-});