MediaWiki:Common.js: Difference between revisions

Latest revision as of 14:24, 5 June 2024

/* Any JavaScript here will be loaded for all users on every page load. */
function searchToggle() {
	var elem1 = document.querySelector('#mw-header-container');
	var elem2 = document.querySelector('#mw-content-container');
	if (!elem1 || !elem2) return;
	elem1.classList.toggle('showSearch');
	elem2.classList.toggle('showSearch');
}