MediaWiki:Gadgets-definition: Difference between revisions

Latest revision as of 07:22, 5 January 2026

Revision as of 07:11, 5 January 2026 view source Maintenance script (talk \| contribs) 118 edits Update FormattingFixer gadget definition - remove WikiEditor dependency ← Older edit		Latest revision as of 07:22, 5 January 2026 view source Maintenance script (talk \| contribs) 118 edits Fix FormattingFixer gadget filename (avoid Gadget-Gadget double prefix)
Line 1:		Line 1:
	* FormattingFixer[ResourceLoader\|default]\|~~Gadget-~~FormattingFixer.js		* FormattingFixer[ResourceLoader\|default]\|FormattingFixer.js