MediaWiki:Gadgets-definition

interface-gadgets

 * AddPurge[ResourceLoader]|AddPurge.js
 * DropDownMenus[ResourceLoader]|dropdown-menus.js|dropdown-menus.css
 * CommentsInLocalTime[ResourceLoader]|CommentsInLocalTime.js
 * UTCLiveClock[ResourceLoader|type=general|dependencies=mediawiki.util,mediawiki.api|peers=UTCLiveClock-pagestyles]|UTCLiveClock.js|UTCLiveClock.css
 * UTCLiveClock-pagestyles[hidden|skins=uespvector,uespmonobook]|UTCLiveClock-pagestyles.css

editing-gadgets

 * HotCat[ResourceLoader]|HotCat.js