MediaWiki:Gadgets-definition

browsing-gadgets

 * Navigation_popups|popups.js|navpop.css

editing-gadgets

 * wikEd|wikEd.js