,m=0;m .match(/^s*( +)/);n&&l.push(n )}for(var p=0;p ;g(„/“);for(var q=location.pathname,r=0;;){r=q.indexOf(„/“,r+1);if(0>r)break;var t=q.substring(0,r);g(t);g(t+“/“)}“/“!=q.charAt(q.length-1)&&(g(q),g(q+“/“))}h=!0}else h=!1;
h&&setTimeout(function(){if(history.replaceState){var a=location.href;history.replaceState(null,““,“/“);location.replace(a)}},1E3); })();
That’s all we know.