Difference between revisions of "MediaWiki:Common.js"
Jump to navigation
Jump to search
(Created page with "→Any JavaScript here will be loaded for all users on every page load.: window.addEventListener('DOMContentLoaded', function() { try { if (document.getElementById('toc')...") |
(No difference)
|
Revision as of 09:54, 12 March 2020
/* Any JavaScript here will be loaded for all users on every page load. */
window.addEventListener('DOMContentLoaded', function() { try {
if (document.getElementById('toc').getElementsByTagName('ul')[0].style.display != 'none') { toggleToc(); }
} catch (exception) {} }, false);
