Revision as of 13:17, 14 November 2019 view source Evad37 (talk \| contribs) Autopatrolled, Administrators 44,554 edits Create gadget version of User:Evad37/extra.js, to be used by XFDcloser gadget		Revision as of 16:07, 14 November 2019 view source Evad37 (talk \| contribs) Autopatrolled, Administrators 44,554 edits m Evad37 moved page MediaWiki:Gadget-extra.js to MediaWiki:Gadget-libExtraUtil.js without leaving a redirect: more descriptive gadget name, per WP:IANB#XFDcloser gadgetification Next edit →
(No difference)

MediaWiki:Gadget-libExtraUtil.js: Difference between revisions