MCP TODO Checklist Server

// Toggle persistent display of documentation version and language options document.querySelectorAll('.doc-switcher li.current').forEach(function (el) { el.addEventListener('click', function () { this.parentElement.classList.toggle('open'); }); }); // Propagate the current fragment identifier when switching docs versions document.querySelectorAll('#doc-versions a').forEach(function (el) { el.addEventListener('click', function () { this.href = this.href.split('#')[0] + window.location.hash; }); });