MediaWiki:Gadgets-definition

interface-gadgets

 * Edittop|edittop.js
 * UTCLiveClock|UTCLiveClock.js
 * scapmap|scapmap.js
 * ajaxrecentchanges|ajaxrecentchanges.js