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