MediaWiki:Gadgets-definition


 * DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
 * UTCLiveClock[ResourceLoader]|UTCLiveClock.js
 * UserRights[ResourceLoader|rights=userrights]|UserRights.js