=Minor tweaks to MenuBlock.php

Jake Vanderwerf

2026-08-30 a58a2e7ca4700d3e23341fde767060a4c2c704a3

 src/glossary/view.js

@@ -173,6 +173,7 @@
   }
}


// Initialize when DOM is ready
if (document.readyState === 'loading') {
   document.addEventListener('DOMContentLoaded', () => {