MediaWiki:Gadgets-definition

• HotCat[ResourceLoader|default|dependencies=mediawiki.util,mediawiki.api]|HotCat.js
• RightToolbar[ResourceLoader|default|dependencies=mediawiki.util|styles=RightToolbar.css]|RightToolbar.js
• SelectionCounter[ResourceLoader|default|dependencies=mediawiki.util|styles=SelectionCounter.css]|SelectionCounter.js