Function loadScript

js/jsloader.js:2–13

(url, callback, aux)

// delayed js loader
function loadScript(url, callback, aux) {
	let script = document.createElement("script");
	document.head.appendChild(script);
	if (callback)
		script.onload = callback;
	if (aux) {
		for (let key in aux) {
			script.setAttribute(key, aux[key]);
		}
	}
	script.src = url;
}
window.beatmaplistLoadedCallback = function () {
	window.setTimeout(function () {
		loadScript("js/lib/zip.js", function () {