Right now we use codemirror's JavaScript mode on the website but there's a JSX mode now so we should start using that instead.

window.CodeMirror = (function() {
  "use strict";
  
  
  
  var gecko = /gecko\/\d/i.test(navigator.userAgent);
  
  
  
  var ie = /MSIE \d/.test(navigator.userAgent);
  var ie_lt8 = ie && (document.documentMode == null || document.documentMode < 8);
  var ie_lt9 = ie && (document.documentMode == null || document.documentMode < 9);
  var ie_gt10 = /Trident\/([7-9]|\d{2,})\./.test(navigator.userAgent);
  var webkit = /WebKit\.test(navigator.userAgent);
  var qtwebkit = webkit && /Qt\/\d+\.\d+/.test(navigator.userAgent);
  var chrome = /Chrome\.test(navigator.userAgent);
  var opera = /Opera\.test(navigator.userAgent);
  var safari = /Apple Computer/.test(navigator.vendor);
  var khtml = /KHTML\.test(navigator.userAgent);