Difference between revisions of "MediaWiki:Common.js"

Latest revision as of 04:09, 30 June 2025

document.addEventListener('DOMContentLoaded', function () {
    var toc = document.getElementById('toc');
    if (toc) {
        var toggleButton = document.createElement('button');
        toggleButton.textContent = 'Toggle TOC';
        toggleButton.style.display = 'block';
        toggleButton.style.marginBottom = '10px';
        toggleButton.onclick = function () {
            var tocContent = toc.querySelector('ul');
            if (tocContent.style.display === 'none') {
                tocContent.style.display = 'block';
            } else {
                tocContent.style.display = 'none';
            }
        };
        toc.insertBefore(toggleButton, toc.firstChild);
    }
});