DevTools: [CodeMirror] add comment plugin

Source/devtools/front_end/CodeMirrorTextEditor.js

Index: Source/devtools/front_end/CodeMirrorTextEditor.js
diff --git a/Source/devtools/front_end/CodeMirrorTextEditor.js b/Source/devtools/front_end/CodeMirrorTextEditor.js
index c2a50b0e2642bf63cfda4e3636fd8bebdf7a0758..9e6ea516035d6dc048be1c80261c8a26f09f1f79 100644
--- a/Source/devtools/front_end/CodeMirrorTextEditor.js
+++ b/Source/devtools/front_end/CodeMirrorTextEditor.js
@@ -37,6 +37,7 @@ importScript("cm/matchbrackets.js");
 importScript("cm/closebrackets.js");
 importScript("cm/markselection.js");
 importScript("cm/showhint.js");
+importScript("cm/comment.js");
 
 /**
  * @constructor
@@ -73,7 +74,9 @@ WebInspector.CodeMirrorTextEditor = function(url, delegate)
         autoCloseBrackets: true
     });
 
-    var extraKeys = {"Ctrl-Space": "autocomplete"};
+    var extraKeys = {};
+    extraKeys["Ctrl-Space"] = "autocomplete";
+    extraKeys[(WebInspector.isMac() ? "Cmd-" : "Ctrl-") + "/"] = "toggleComment";
     var indent = WebInspector.settings.textEditorIndent.get();
     if (indent === WebInspector.TextUtils.Indent.TabCharacter) {
         this._codeMirror.setOption("indentWithTabs", true);