RubyGems - liquid_cms - Versions diffs - 0.2.2.0 → 0.3.0 - Mend

liquid_cms 0.2.2.0 → 0.3.0

Files changed (1407) hide show

data/lib/generators/liquid_cms/templates/public/cms/codemirror/index.html ADDED Viewed

@@ -0,0 +1,192 @@
+<html xmlns="http://www.w3.org/1999/xhtml">
+  <head>
+    <title>CodeMirror: In-browser code editing</title>
+    <link rel="stylesheet" type="text/css" href="css/docs.css"/>
+    <style type="text/css">
+      div.top {text-align: center;}
+      div.top h1 {margin-bottom: 0;}
+      div.top h2 {margin-top: 0; margin-bottom: 1.5em;}
+      div.donate span {cursor: pointer; text-decoration: underline;}
+      div.donate {font-size: 70%; margin-top: 1em; width: 155px; padding: 10px; border: 1px solid #c44;}
+    </style>
+  </head>
+  <body>
+<div class="top">
+  <h1>CodeMirror</h1>
+  <h2 class="underline">In-browser code editing made almost bearable</h2>
+</div>
+<div style="float: right; padding-left: 10px;">
+  <form action="https://www.paypal.com/cgi-bin/webscr" method="post" id="paypal">
+    <input type="hidden" name="cmd" value="_s-xclick"/>
+    <input type="hidden" name="hosted_button_id" value="3FVHS5FGUY7CC"/>
+  </form>
+  <img src="css/people.jpg" alt=""/><br/>
+  <div class="donate">
+    Make a donation:
+    <ul style="margin: 0 2em; padding: 0">
+      <li><span onclick="document.getElementById('paypal').submit();">Paypal</span></li>
+      <li><span onclick="document.getElementById('bankinfo').style.display = 'block';">Bank</span></li>
+    </ul>
+    <div id="bankinfo" style="display: none; font-size: 80%;">
+      Bank: <i>Rabobank</i><br/>
+      Country: <i>Netherlands</i><br/>
+      SWIFT: <i>RABONL2U</i><br/>
+      Account: <i>147850770</i><br/>
+      Name: <i>Marijn Haverbeke</i><br/>
+      IBAN: <i>NL26 RABO 0147 8507 70</i>
+    </div>
+  </div>
+</div>
+<p>CodeMirror is a JavaScript library that can be used to create a
+relatively pleasant editor interface for code-like content &#x2015;
+computer programs, HTML markup, and similar. If a parser has been
+written for the language you are editing (see below for a list of
+supported languages), the code will be coloured, and the editor will
+help you with indentation.</p>
+<p>To get a look at CodeMirror, see the test pages for the various
+parsers...</p>
+<ul>
+  <li><a href="jstest.html">JavaScript</a></li>
+  <li><a href="htmltest.html">XML/HTML</a></li>
+  <li><a href="csstest.html">CSS</a></li>
+  <li><a href="sparqltest.html">SPARQL</a></li>
+  <li><a href="mixedtest.html">HTML mixed-mode</a></li>
+  <li><a href="contrib/php/index.html">HTML+PHP mixed-mode</a> (courtesy of <a href="contrib/php/LICENSE">Yahoo!</a>)</li>
+  <li><a href="contrib/python/index.html">Python</a> (courtesy of <a href="contrib/python/LICENSE">Timothy Farrell</a>)</li>
+  <li><a href="contrib/lua/index.html">Lua</a> (courtesy of <a href="http://francio.pl/">Franciszek Wawrzak</a>)</li>
+  <li><a href="http://d.hantl.cz/d/ruby-in-codemirror/">Ruby</a> (by Michal Hantl, <a href="http://github.com/hakunin/ruby-in-codemirror/tree/master">unfinished</a>)</li>
+  <li><a href="contrib/sql/index.html">SQL</a> (courtesy of John Benediktsson)</li>
+  <li><a href="contrib/plsql/index.html">PLSQL</a> (courtesy of <a href="http://www.oracle-and-apex.com/">Peter Raganitsch</a>)</li>
+  <li><a href="http://www.liranuna.com/diff-parser-for-codemirror/">diff</a> (courtesy of <a href="http://www.liranuna.com">Liran Nuna</a>)</li>
+</ul>
+<p>Or take a look at some real-world uses of the system...</p>
+<ul>
+  <li><a href="http://kml-samples.googlecode.com/svn/trunk/interactive/index.html">Google Earth KML sampler</a></li>
+  <li><a href="http://eloquentjavascript.net/chapter1.html">Eloquent JavaScript's console</a></li>
+  <li><a href="http://demo.qooxdoo.org/current/playground/#Hello_World">The qooxdoo playground</a></li>
+  <li><a href="http://billmill.org/static/canvastutorial/index.html">A cool tutorial about the &lt;canvas> element</a></li>
+  <li><a href="http://orc.csres.utexas.edu/tryorc.shtml">An online IDE for the Orc programming language</a></li>
+  <li><a href="http://code.google.com/apis/ajax/playground">Google's API playground</a></li>
+  <li><a href="http://dev.freebaseapps.com/">Freebase's Acre IDE</a></li>
+  <li><a href="http://jsbin.com/">JS Bin</a></li>
+</ul>
+<h2>Releases</h2>
+<p class="rel"><em>01-03-2010</em>: <a
+href="http://marijn.haverbeke.nl/codemirror/codemirror-0.66.zip">Version
+0.66</a>: Adds <code>removeLine</code> method to API. Introduces the
+<a href="contrib/plsql/index.html">PLSQL parser</a>. Marks XML errors
+by adding (rather than replacing) a CSS class, so that they can be
+disabled by modifying their style. Fixes several selection bugs, and a
+number of small glitches.</p>
+<p class="rel"><em>12-11-2009</em>: <a
+href="http://marijn.haverbeke.nl/codemirror/codemirror-0.65.zip">Version
+0.65</a>: Add support for having both line-wrapping and line-numbers
+turned on, make paren-highlighting style customisable
+(<code>markParen</code> and <code>unmarkParen</code> config options),
+work around a selection bug that Opera <em>re</em>introduced in
+version 10.</p>
+<p class="rel"><em>23-10-2009</em>: <a
+href="http://marijn.haverbeke.nl/codemirror/codemirror-0.64.zip">Version
+0.64</a>: Solves some issues introduced by the paste-handling changes
+from the previous release. Adds <code>setSpellcheck</code>,
+<code>setTextWrapping</code>, <code>setIndentUnit</code>,
+<code>setUndoDepth</code>, <code>setTabMode</code>, and
+<code>setLineNumbers</code> to customise a running editor. Introduces
+an <a href="contrib/sql/index.html">SQL</a> parser. Fixes a few small
+problems in the <a href="contrib/python/index.html">Python</a> parser.
+And, as usual, add workarounds for various newly discovered browser
+incompatibilities.</p>
+<p class="rel"><em>31-08-2009</em>: <a
+href="http://marijn.haverbeke.nl/codemirror/codemirror-0.63.zip">Version
+0.63</a>: Overhaul of paste-handling (less fragile), fixes for several
+serious IE8 issues (cursor jumping, end-of-document bugs) and a number
+of small problems.</p>
+<p class="rel"><em>30-05-2009</em>: <a
+href="http://marijn.haverbeke.nl/codemirror/codemirror-0.62.zip">Version
+0.62</a>: Introduces <a href="contrib/python/index.html">Python</a>
+and <a href="contrib/lua/index.html">Lua</a> parsers. Add
+<code>setParser</code> (on-the-fly mode changing) and
+<code>clearHistory</code> methods. Make parsing passes time-based
+instead of lines-based (see the <code>passTime</code> option).</p>
+<p class="rel"><em>04-03-2009</em>: <a
+href="http://marijn.haverbeke.nl/codemirror/codemirror-0.61.zip">Version
+0.61</a>: Add line numbers support (see <code>lineNumbers</code>
+option in <a href="manual.html">manual</a>). Support a mode where tab
+'shifts' indentation instead of resetting it (see
+<code>tabMode="shift"</code>). Add <code>indentUnit</code> option to
+configure indentation depths. Make it possible to grab the editor's
+keyboard input, which is useful when popping up dialogs (see
+<code>grabKeys</code>/<code>ungrabKeys</code>). Fix a lot of small
+bugs, among which the various issues related to pasting in Internet
+Explorer.</p>
+<h2 id="supported">Supported browsers</h2>
+<p>At this time, the following browsers are supported:</p>
+<ul>
+  <li>Firefox 1.5 or higher</li>
+  <li>Internet Explorer 6 or higher</li>
+  <li>Safari 3 or higher</li>
+  <li>Opera 9.52 or higher</li>
+  <li>Chrome</li>
+</ul>
+<p>Making it work on other browsers that have decent support for the
+W3C DOM model should not be too hard, but I am not actively testing
+against those.</p>
+<h2>Getting the code</h2>
+<p>All of CodeMirror is released under a <a
+href="LICENSE">zlib-style</a> license. To get it, you can download the
+<a href="http://marijn.haverbeke.nl/codemirror/codemirror.zip">latest
+release</a> or the current <a
+href="http://marijn.haverbeke.nl/codemirror/codemirror-latest.zip">development
+snapshot</a> as zip files, or use <a
+href="http://git-scm.com/">git</a> to get the repository:</p>
+<pre class="code">git clone http://marijn.haverbeke.nl/codemirror/.git</pre>
+<p>This second method is recommended if you are planning to hack on
+CodeMirror &#x2015; it makes it easy to record your patches and share
+them with me. CodeMirror can also be found on GitHub: <a
+href="http://github.com/marijnh/CodeMirror">http://github.com/marijnh/CodeMirror</a>.</p>
+<h2>Support</h2>
+<p>There is a <a
+href="http://groups.google.com/group/codemirror">Google group</a> (a
+sort of mailing list/newsgroup thingy) for discussion and news related
+to CodeMirror. You can also e-mail me directly: <a
+href="mailto:marijnh@gmail.com">Marijn Haverbeke</a>.</p>
+<h2>Documentation</h2>
+<ul>
+  <li>The <a href="manual.html">manual</a> is all most users will need
+  to read (or skim).</li>
+  <li>If you're interested in working on the code, <a
+  href="story.html">this document</a> about CodeMirror's architecture
+  will be useful.</li>
+  <li>The <a href="http://github.com/marijnh/CodeMirror">source
+  code</a> is, for the most part, rather well commented, so if all
+  else fails, you can try reading it.</li>
+</ul>
+  </body>
+</html>

data/lib/generators/liquid_cms/templates/public/cms/codemirror/js/codemirror.js ADDED Viewed

@@ -0,0 +1,403 @@
+/* CodeMirror main module
+ *
+ * Implements the CodeMirror constructor and prototype, which take care
+ * of initializing the editor frame, and providing the outside interface.
+ */
+// The CodeMirrorConfig object is used to specify a default
+// configuration. If you specify such an object before loading this
+// file, the values you put into it will override the defaults given
+// below. You can also assign to it after loading.
+var CodeMirrorConfig = window.CodeMirrorConfig || {};
+var CodeMirror = (function(){
+  function setDefaults(object, defaults) {
+    for (var option in defaults) {
+      if (!object.hasOwnProperty(option))
+        object[option] = defaults[option];
+    }
+  }
+  function forEach(array, action) {
+    for (var i = 0; i < array.length; i++)
+      action(array[i]);
+  }
+  // These default options can be overridden by passing a set of
+  // options to a specific CodeMirror constructor. See manual.html for
+  // their meaning.
+  setDefaults(CodeMirrorConfig, {
+    stylesheet: "",
+    path: "",
+    parserfile: [],
+    basefiles: ["util.js", "stringstream.js", "select.js", "undo.js", "editor.js", "tokenize.js"],
+    iframeClass: null,
+    passDelay: 200,
+    passTime: 50,
+    lineNumberDelay: 200,
+    lineNumberTime: 50,
+    continuousScanning: false,
+    saveFunction: null,
+    onChange: null,
+    undoDepth: 50,
+    undoDelay: 800,
+    disableSpellcheck: true,
+    textWrapping: true,
+    readOnly: false,
+    width: "",
+    height: "300px",
+    autoMatchParens: false,
+    parserConfig: null,
+    tabMode: "indent", // or "spaces", "default", "shift"
+    reindentOnLoad: false,
+    activeTokens: null,
+    cursorActivity: null,
+    lineNumbers: false,
+    indentUnit: 2
+  });
+  function addLineNumberDiv(container) {
+    var nums = document.createElement("DIV"),
+        scroller = document.createElement("DIV");
+    nums.style.position = "absolute";
+    nums.style.height = "100%";
+    if (nums.style.setExpression) {
+      try {nums.style.setExpression("height", "this.previousSibling.offsetHeight + 'px'");}
+      catch(e) {} // Seems to throw 'Not Implemented' on some IE8 versions
+    }
+    nums.style.top = "0px";
+    nums.style.overflow = "hidden";
+    container.appendChild(nums);
+    scroller.className = "CodeMirror-line-numbers";
+    nums.appendChild(scroller);
+    return nums;
+  }
+  function CodeMirror(place, options) {
+    // Backward compatibility for deprecated options.
+    if (options.dumbTabs) options.tabMode = "spaces";
+    else if (options.normalTab) options.tabMode = "default";
+    // Use passed options, if any, to override defaults.
+    this.options = options = options || {};
+    setDefaults(options, CodeMirrorConfig);
+    var frame = this.frame = document.createElement("IFRAME");
+    if (options.iframeClass) frame.className = options.iframeClass;
+    frame.frameBorder = 0;
+    frame.src = "javascript:false;";
+    frame.style.border = "0";
+    frame.style.width = '100%';
+    frame.style.height = '100%';
+    // display: block occasionally suppresses some Firefox bugs, so we
+    // always add it, redundant as it sounds.
+    frame.style.display = "block";
+    var div = this.wrapping = document.createElement("DIV");
+    div.style.position = "relative";
+    div.className = "CodeMirror-wrapping";
+    div.style.width = options.width;
+    div.style.height = options.height;
+    if (place.appendChild) place.appendChild(div);
+    else place(div);
+    div.appendChild(frame);
+    if (options.lineNumbers) this.lineNumbers = addLineNumberDiv(div);
+    // Link back to this object, so that the editor can fetch options
+    // and add a reference to itself.
+    frame.CodeMirror = this;
+    this.win = frame.contentWindow;
+    if (typeof options.parserfile == "string")
+      options.parserfile = [options.parserfile];
+    if (typeof options.stylesheet == "string")
+      options.stylesheet = [options.stylesheet];
+    var html = ["<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.0 Transitional//EN\" \"http://www.w3.org/TR/html4/loose.dtd\"><html><head>"];
+    // Hack to work around a bunch of IE8-specific problems.
+    html.push("<meta http-equiv=\"X-UA-Compatible\" content=\"IE=EmulateIE7\"/>");
+    forEach(options.stylesheet, function(file) {
+      html.push("<link rel=\"stylesheet\" type=\"text/css\" href=\"" + file + "\"/>");
+    });
+    forEach(options.basefiles.concat(options.parserfile), function(file) {
+      html.push("<script type=\"text/javascript\" src=\"" + options.path + file + "\"><" + "/script>");
+    });
+    html.push("</head><body style=\"border-width: 0;\" class=\"editbox\" spellcheck=\"" +
+              (options.disableSpellcheck ? "false" : "true") + "\"></body></html>");
+    var doc = this.win.document;
+    doc.open();
+    doc.write(html.join(""));
+    doc.close();
+  }
+  CodeMirror.prototype = {
+    init: function() {
+      if (this.options.initCallback) this.options.initCallback(this);
+      if (this.options.lineNumbers) this.activateLineNumbers();
+      if (this.options.reindentOnLoad) this.reindent();
+    },
+    getCode: function() {return this.editor.getCode();},
+    setCode: function(code) {this.editor.importCode(code);},
+    selection: function() {this.focusIfIE(); return this.editor.selectedText();},
+    reindent: function() {this.editor.reindent();},
+    reindentSelection: function() {this.focusIfIE(); this.editor.reindentSelection(null);},
+    focusIfIE: function() {
+      // in IE, a lot of selection-related functionality only works when the frame is focused
+      if (this.win.select.ie_selection) this.focus();
+    },
+    focus: function() {
+      this.win.focus();
+      if (this.editor.selectionSnapshot) // IE hack
+        this.win.select.setBookmark(this.win.document.body, this.editor.selectionSnapshot);
+    },
+    replaceSelection: function(text) {
+      this.focus();
+      this.editor.replaceSelection(text);
+      return true;
+    },
+    replaceChars: function(text, start, end) {
+      this.editor.replaceChars(text, start, end);
+    },
+    getSearchCursor: function(string, fromCursor, caseFold) {
+      return this.editor.getSearchCursor(string, fromCursor, caseFold);
+    },
+    undo: function() {this.editor.history.undo();},
+    redo: function() {this.editor.history.redo();},
+    historySize: function() {return this.editor.history.historySize();},
+    clearHistory: function() {this.editor.history.clear();},
+    grabKeys: function(callback, filter) {this.editor.grabKeys(callback, filter);},
+    ungrabKeys: function() {this.editor.ungrabKeys();},
+    setParser: function(name) {this.editor.setParser(name);},
+    setSpellcheck: function(on) {this.win.document.body.spellcheck = on;},
+    setTextWrapping: function(on) {
+      if (on == this.options.textWrapping) return;
+      this.win.document.body.style.whiteSpace = on ? "" : "nowrap";
+      this.options.textWrapping = on;
+      if (this.lineNumbers) {
+        this.setLineNumbers(false);
+        this.setLineNumbers(true);
+      }
+    },
+    setIndentUnit: function(unit) {this.win.indentUnit = unit;},
+    setUndoDepth: function(depth) {this.editor.history.maxDepth = depth;},
+    setTabMode: function(mode) {this.options.tabMode = mode;},
+    setLineNumbers: function(on) {
+      if (on && !this.lineNumbers) {
+        this.lineNumbers = addLineNumberDiv(this.wrapping);
+        this.activateLineNumbers();
+      }
+      else if (!on && this.lineNumbers) {
+        this.wrapping.removeChild(this.lineNumbers);
+        this.wrapping.style.marginLeft = "";
+        this.lineNumbers = null;
+      }
+    },
+    cursorPosition: function(start) {this.focusIfIE(); return this.editor.cursorPosition(start);},
+    firstLine: function() {return this.editor.firstLine();},
+    lastLine: function() {return this.editor.lastLine();},
+    nextLine: function(line) {return this.editor.nextLine(line);},
+    prevLine: function(line) {return this.editor.prevLine(line);},
+    lineContent: function(line) {return this.editor.lineContent(line);},
+    setLineContent: function(line, content) {this.editor.setLineContent(line, content);},
+    removeLine: function(line){this.editor.removeLine(line);},
+    insertIntoLine: function(line, position, content) {this.editor.insertIntoLine(line, position, content);},
+    selectLines: function(startLine, startOffset, endLine, endOffset) {
+      this.win.focus();
+      this.editor.selectLines(startLine, startOffset, endLine, endOffset);
+    },
+    nthLine: function(n) {
+      var line = this.firstLine();
+      for (; n > 1 && line !== false; n--)
+        line = this.nextLine(line);
+      return line;
+    },
+    lineNumber: function(line) {
+      var num = 0;
+      while (line !== false) {
+        num++;
+        line = this.prevLine(line);
+      }
+      return num;
+    },
+    // Old number-based line interface
+    jumpToLine: function(n) {
+      this.selectLines(this.nthLine(n), 0);
+      this.win.focus();
+    },
+    currentLine: function() {
+      return this.lineNumber(this.cursorPosition().line);
+    },
+    activateLineNumbers: function() {
+      var frame = this.frame, win = frame.contentWindow, doc = win.document, body = doc.body,
+          nums = this.lineNumbers, scroller = nums.firstChild, self = this;
+      var barWidth = null;
+      function sizeBar() {
+        if (frame.offsetWidth == 0) return;
+        for (var root = frame; root.parentNode; root = root.parentNode);
+        if (!nums.parentNode || root != document || !win.Editor) {
+          // Clear event handlers (their nodes might already be collected, so try/catch)
+          try{clear();}catch(e){}
+          clearInterval(sizeInterval);
+          return;
+        }
+        if (nums.offsetWidth != barWidth) {
+          barWidth = nums.offsetWidth;
+          nums.style.left = "-" + (frame.parentNode.style.marginLeft = barWidth + "px");
+        }
+      }
+      function doScroll() {
+        nums.scrollTop = body.scrollTop || doc.documentElement.scrollTop || 0;
+      }
+      // Cleanup function, registered by nonWrapping and wrapping.
+      var clear = function(){};
+      sizeBar();
+      var sizeInterval = setInterval(sizeBar, 500);
+      function nonWrapping() {
+        var nextNum = 1;
+        function update() {
+          var target = 50 + Math.max(body.offsetHeight, frame.offsetHeight);
+          while (scroller.offsetHeight < target) {
+            scroller.appendChild(document.createElement("DIV"));
+            scroller.lastChild.innerHTML = nextNum++;
+          }
+          doScroll();
+        }
+        var onScroll = win.addEventHandler(win, "scroll", update, true),
+            onResize = win.addEventHandler(win, "resize", update, true);
+        clear = function(){onScroll(); onResize();};
+        update();
+      }
+      function wrapping() {
+        var node, lineNum, next, pos;
+        function addNum(n) {
+          if (!lineNum) lineNum = scroller.appendChild(document.createElement("DIV"));
+          lineNum.innerHTML = n;
+          pos = lineNum.offsetHeight + lineNum.offsetTop;
+          lineNum = lineNum.nextSibling;
+        }
+        function work() {
+          if (!scroller.parentNode || scroller.parentNode != self.lineNumbers) return;
+          var endTime = new Date().getTime() + self.options.lineNumberTime;
+          while (node) {
+            addNum(next++);
+            for (; node && !win.isBR(node); node = node.nextSibling) {
+              var bott = node.offsetTop + node.offsetHeight;
+              while (bott - 3 > pos) addNum("&nbsp;");
+            }
+            if (node) node = node.nextSibling;
+            if (new Date().getTime() > endTime) {
+              pending = setTimeout(work, self.options.lineNumberDelay);
+              return;
+            }
+          }
+          // While there are un-processed number DIVs, or the scroller is smaller than the frame...
+          var target = 50 + Math.max(body.offsetHeight, frame.offsetHeight);
+          while (lineNum || scroller.offsetHeight < target) addNum(next++);
+          doScroll();
+        }
+        function start() {
+          doScroll();
+          node = body.firstChild;
+          lineNum = scroller.firstChild;
+          pos = 0;
+          next = 1;
+          work();
+        }
+        start();
+        var pending = null;
+        function update() {
+          if (pending) clearTimeout(pending);
+          if (self.editor.allClean()) start();
+          else pending = setTimeout(update, 200);
+        }
+        self.updateNumbers = update;
+        var onScroll = win.addEventHandler(win, "scroll", doScroll, true),
+            onResize = win.addEventHandler(win, "resize", update, true);
+        clear = function(){
+          if (pending) clearTimeout(pending);
+          if (self.updateNumbers == update) self.updateNumbers = null;
+          onScroll();
+          onResize();
+        };
+      }
+      (this.options.textWrapping ? wrapping : nonWrapping)();
+    }
+  };
+  CodeMirror.InvalidLineHandle = {toString: function(){return "CodeMirror.InvalidLineHandle";}};
+  CodeMirror.replace = function(element) {
+    if (typeof element == "string")
+      element = document.getElementById(element);
+    return function(newElement) {
+      element.parentNode.replaceChild(newElement, element);
+    };
+  };
+  CodeMirror.fromTextArea = function(area, options) {
+    if (typeof area == "string")
+      area = document.getElementById(area);
+    options = options || {};
+    if (area.style.width && options.width == null)
+      options.width = area.style.width;
+    if (area.style.height && options.height == null)
+      options.height = area.style.height;
+    if (options.content == null) options.content = area.value;
+    if (area.form) {
+      function updateField() {
+        area.value = mirror.getCode();
+      }
+      if (typeof area.form.addEventListener == "function")
+        area.form.addEventListener("submit", updateField, false);
+      else
+        area.form.attachEvent("onsubmit", updateField);
+    }
+    function insert(frame) {
+      if (area.nextSibling)
+        area.parentNode.insertBefore(frame, area.nextSibling);
+      else
+        area.parentNode.appendChild(frame);
+    }
+    area.style.display = "none";
+    var mirror = new CodeMirror(insert, options);
+    return mirror;
+  };
+  CodeMirror.isProbablySupported = function() {
+    // This is rather awful, but can be useful.
+    var match;
+    if (window.opera)
+      return Number(window.opera.version()) >= 9.52;
+    else if (/Apple Computers, Inc/.test(navigator.vendor) && (match = navigator.userAgent.match(/Version\/(\d+(?:\.\d+)?)\./)))
+      return Number(match[1]) >= 3;
+    else if (document.selection && window.ActiveXObject && (match = navigator.userAgent.match(/MSIE (\d+(?:\.\d*)?)\b/)))
+      return Number(match[1]) >= 6;
+    else if (match = navigator.userAgent.match(/gecko\/(\d{8})/i))
+      return Number(match[1]) >= 20050901;
+    else if (match = navigator.userAgent.match(/AppleWebKit\/(\d+)/))
+      return Number(match[1]) >= 525;
+    else
+      return null;
+  };
+  return CodeMirror;
+})();