 xmlHttp.open("GET", "/list?dir=" + e, !0), xmlHttp.send(null)
   }

   function u(e) {
      var t = e.pop();
      t && m(t, e)
   }

   function p(e, t) {
      setLoading(!0, "Renaming '" + e + "' to '" + t + "'..."), t.startsWith("/") || (t = "/" + t), xmlHttp = new XMLHttpRequest, xmlHttp.onload = o(xmlHttp, t);
      var n = new FormData;
      n.append("path", t), n.append("src", e), xmlHttp.open("PUT", "/edit"), xmlHttp.send(n)
   }

   function h(e) {
      setLoading(!0, "Deleting '" + e + "'..."