MediaWiki:Gadget-libExtraUtil: Difference between revisions

From Patch demo (1005793,5)
Content deleted Content added
imported>Evad37
m Evad37 moved page MediaWiki:Gadget-extra to MediaWiki:Gadget-libExtraUtil without leaving a redirect: more descriptive gadget name, per WP:IANB#XFDcloser gadgetification
 
(No difference)

Latest revision as of 16:07, 14 November 2019

Utility gadget. You should not be able to see this from Special:Preferences.