MediaWiki:Common.js: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
document.addEventListener("DOMContentLoaded", function () { | document.addEventListener("DOMContentLoaded", function () { | ||
var toc = document. | setTimeout(function () { | ||
var toc = document.querySelector("#mw-content-text #toc"); | |||
if (!toc) return; | |||
var floatingToc = document.createElement("div"); | |||
floatingToc.id = "floating-toc"; | |||
toc.parentNode.removeChild(toc); | |||
floatingToc.appendChild(toc); | |||
document.body.appendChild(floatingToc); | |||
floatingToc.addEventListener("click", function () { | |||
floatingToc.classList.toggle("collapsed"); | |||
}); | |||
}); | |||
}, 500); | |||
}); | }); |