MediaWiki:Gadgets-definition

AllUsers

 * Navigation_popups[ResourceLoader|dependencies=mediawiki.user,mediawiki.util,user.options|type=general]|popups.js|popups.css
 * Links in logs[ResourceLoader|default]|Links-in-logs.js
 * HotCat[ResourceLoader|rights=edit|default]|HotCat.js|Hotcatcheck.js
 * Twinkle[ResourceLoader|dependencies=mediawiki.util,jquery.ui,jquery.tipsy]|morebits.js|morebits.css|Twinkle.js

AdvancedUsers

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