MediaWiki:Gadgets-definition


 * DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
 * UTCLiveClock[ResourceLoader]|UTCLiveClock.js