MediaWiki:Gadgets-definition


 * HotCat[ResourceLoader]|HotCat.js
 * UTCLiveClock[ResourceLoader]|UTCLiveClock.js
 * TabOverride[ResourceLoader]|TabOverride.js
 * ShowMessageNames[ResourceLoader|dependencies=mediawiki.util]|ShowMessageNames.js
 * Navigation_popups|popups.js|navpop.css
 * DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js