MediaWiki:Gadgets-definition

AllUsers

 * Navigation_popups[ResourceLoader|dependencies=mediawiki.user,mediawiki.util,user.options,mediawiki.RegExp|type=general]|popups.js|popups.css
 * HotCat[ResourceLoader|rights=edit|default]|HotCat.js|Hotcatcheck.js

AdvancedUsers

 * CleanDeleteReasons[ResourceLoader|rights=delete]|CleanDeleteReasons.js
 * Mark as patrolled[ResourceLoader|dependencies=mediawiki.api|rights=patrol]|Mark_as_patrolled.js