add CodeMirror.listModes/listMIMEs()

Author: marijnh

lib/codemirror.js

@@ -1358,6 +1358,18 @@ var CodeMirror = (function() {
     }
     return mfactory(options, config);
   }
+  CodeMirror.listModes = function() {
+    var list = [];
+    for (var m in modes)
+      if (modes.propertyIsEnumerable(m)) list.push(m);
+    return list;
+  };
+  CodeMirror.listMIMEs = function() {
+    var list = [];
+    for (var m in mimeModes)
+      if (mimeModes.propertyIsEnumerable(m)) list.push(m);
+    return list;
+  };
 
   CodeMirror.fromTextArea = function(textarea, options) {
     if (!options) options = {};

manual.html

@@ -117,7 +117,10 @@ <h2 id="config">Configuration</h2>
       a <code>name</code> property that names the mode (for
       example <code>{name: "javascript", json: true}</code>). The demo
       pages for each mode contain information about what configuration
-      parameters the mode supports.</dd>
+      parameters the mode supports. You can ask CodeMirror which modes
+      and MIME types are loaded with
+      the <code>CodeMirror.listModes</code>
+      and <code>CodeMirror.listMIMEs</code> functions.</dd>
 
       <dt id="option_indentUnit"><code>indentUnit (integer)</code></dt>
       <dd>How many spaces a block (whatever that means in the edited