1 files changed, 0 insertions, 11 deletions
diff --git a/devtools/client/menus.js b/devtools/client/menus.js
index dbacb367d..23f024f04 100644
--- a/devtools/client/menus.js
+++ b/devtools/client/menus.js
@@ -86,17 +86,6 @@ exports.menuitems = [
     },
     checkbox: true
   },
-  { id: "menu_webide",
-    l10nKey: "webide",
-    disabled: true,
-    oncommand() {
-      gDevToolsBrowser.openWebIDE();
-    },
-    key: {
-      id: "webide",
-      modifiers: "shift"
-    }
-  },
   { id: "menu_browserToolbox",
     l10nKey: "browserToolboxMenu",
     disabled: true,