MediaWiki:Gadgets-definition


 * MetaCategories[ResourceLoader|default|rights=editmyusercss]|MetaCategories.js|MetaCategories.css
 * RecentChangesRefresh[ResourceLoader|default|hidden]|RecentChangesRefresh.js
 * HighlightRedirects[ResourceLoader|targets=desktop,mobile]|HighlightRedirects.css
 * HotCat[ResourceLoader|rights=edit,purge]|HotCat.js