MediaWiki:Gadgets-definition


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