     o[t] = n
   }), "undefined" != typeof ace && (e = createEditor("editor", o.file, o.lang, o.theme)), createHeader("header", tree = createTree("tree", e), e), refreshStatus()
}
</script>

<script src="https://cdn.jsdelivr.net/npm/ace-builds@1.28.0/src-min-noconflict/ace.min.js"></script>


<script>
    var script;"undefined"==typeof ace&&(console.log("Cannot load ace.js from the web, trying local copy"),(script=newEm("script")).src="/edit/ace.js",script.async=!1,document.head.appendChild(script))
</scrip