MediaWiki:Common.js: Difference between revisions

MediaWiki:Common.js (view source)

1 byte removed , 15 July

no edit summary

5,520

edits

Revision as of 09:54, 15 July 2024 (view source) MLavazza (talk \| contribs) No edit summary Tag: Reverted ← Older edit		Revision as of 09:58, 15 July 2024 (view source) MLavazza (talk \| contribs) No edit summary Tag: Reverted Newer edit →
Line 23:		Line 23:
	}		}

	document.getElementById('mw-sidebar-button').~~aria-expanded~~ = true;		document.getElementById('mw-sidebar-button').ariaExpanded = true;