MediaWiki:Gadget-libExtraUtil: Difference between revisions
Appearance
Content deleted Content added
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)
|
Revision as of 16:07, November 14, 2019
Utility gadget. You should not be able to see this from Special:Preferences.