MediaWiki:Gadgets-definition

markAdmins[ResourceLoader|dependencies=mediawiki.util]|markAdmins.js ProtectionIndicators[ResourceLoader|default|type=general]|ProtectionIndicators.js|ProtectionIndicators.css UTCLiveClock[ResourceLoader]|UTCLiveClock.js LocalLiveClock[ResourceLoader]|LocalLiveClock.js