MediaWiki:Gadgets-definition

AllUsers

 * Navigation_popups[ResourceLoader|dependencies=mediawiki.user,mediawiki.util,user.options|type=general]|popups.js|popups.css

AdvancedUsers

 * Cat-a-lot[ResourceLoader|dependencies=mediawiki.util]|Cat-a-lot.js