, "/edit"), xmlHttp.send(t)
   }, m("/"), this
}

function createEditor(e, t, n, o, a) {
   function d(e) {
      var t = "plain",
         n = /(?:\.([^.]+))?$/.exec(e)[1];
      if (void 0 !== n) switch (n) {
         case "txt":
            t = "plain";
            break;
         case "htm":
            t = "html";
            break;
         case "js":
            t = "javascript";
            break;
         case "css":
         case "scss":
         case "php":
         case "html":
         case "js