MediaWiki:Gadgets-definition

interface-gadgets

 * Edittop|edittop.js
 * UTCLiveClock|UTCLiveClock.js