MediaWiki:Gadgets-definition

interface-gadgets

 * AddPurge[ResourceLoader]|AddPurge.js
 * DropDownMenus[ResourceLoader]|dropdown-menus.js|dropdown-menus.css
 * CommentsInLocalTime[ResourceLoader]|CommentsInLocalTime.js

editing-gadgets

 * HotCat[ResourceLoader]|HotCat.js