MediaWiki:Gadget-libExtraUtil

    From Patch demo (822099,6 820233,12)
    Revision as of 16:07, 14 November 2019 by imported>Evad37 (Evad37 moved page MediaWiki:Gadget-extra to MediaWiki:Gadget-libExtraUtil without leaving a redirect: more descriptive gadget name, per WP:IANB#XFDcloser gadgetification)
    (diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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