MediaWiki:Gadgets-definition

CropTool[ResourceLoader|dependencies=mediawiki.util,mediawiki.Uri|rights=upload]|CropTool.js
Navigation_popups[ResourceLoader|dependencies=mediawiki.user,mediawiki.util,user.options|type=general]|popups.js|navpop.css
HotCat[ResourceLoader|rights=edit]|HotCat.js