MediaWiki:Gadgets-definition

• HotCat[ResourceLoader|default|dependencies=mediawiki.util]|HotCat.js
• RightToolbar[ResourceLoader|default|dependencies=mediawiki.util]|RightToolbar.js
• SelectionCounter[ResourceLoader|default|dependencies=mediawiki.util]|SelectionCounter.js