MediaWiki:Gadgets-definition

markAdmins[ResourceLoader|dependencies=mediawiki.util]|markAdmins.js UTCLiveClock[ResourceLoader]|UTCLiveClock.js LocalLiveClock[ResourceLoader]|LocalLiveClock.js