MediaWiki:Gadgets-definition

• UTCLiveClock[ResourceLoader|supportsUrlLoad|type=general|dependencies=mediawiki.util,mediawiki.api|peers=UTCLiveClock-pagestyles]|UTCLiveClock.js|UTCLiveClock.css
• dropdown-menus[ResourceLoader|dependencies=mediawiki.api,mediawiki.util,mediawiki.Title,user.options|peers=dropdown-menus-pagestyles]|MoreMenu.enwiki.js|dropdown-menus.js
• DotsSyntaxHighlighter[ResourceLoader|actions=edit]|DotsSyntaxHighlighter.js