MediaWiki:Gadgets-definition

Please discuss new gadgets on the talk page before adding them here.

browsing

 * Navigation_popups|popups.js|navpop.css

editing

 * defaultsummaries|defaultsummaries.js
 * charinsert[ResourceLoader|default]|charinsert.js|charinsert.css

appearance

 * purgetab[ResourceLoader|dependencies=mediawiki.util]|purgetab.js
 * ExternalSearch|externalsearch.js

administration

 * AjaxPatrol|ajaxpatrol.js