[Summary view] [Print] [Text view]

   1  const helpIndex=document.getElementById("help-index");helpIndex&&[].slice.call(helpIndex.querySelectorAll("a")).map((e=>e.addEventListener("click",(()=>{window.scroll(0,0)}))));