From 79b83e60ab4032b64e0df218cc14f6f81fbddca3 Mon Sep 17 00:00:00 2001
From: Michael Telatynski <7t3chguy@gmail.com>
Date: Mon, 31 Jul 2017 12:08:28 +0100
Subject: [PATCH] add /devtools command

---
 src/SlashCommands.js | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/SlashCommands.js b/src/SlashCommands.js
index dea3d27751..81fd52f9c9 100644
--- a/src/SlashCommands.js
+++ b/src/SlashCommands.js
@@ -292,6 +292,13 @@ const commands = {
         return reject(this.getUsage());
     }),
 
+    // Open developer tools
+    devtools: new Command("devtools", "", function(roomId) {
+        const DevtoolsDialog = sdk.getComponent("dialogs.DevtoolsDialog");
+        Modal.createDialog(DevtoolsDialog, { roomId });
+        return success();
+    }),
+
     // Verify a user, device, and pubkey tuple
     verify: new Command("verify", "<userId> <deviceId> <deviceSigningKey>", function(roomId, args) {
         if (args) {