MediaWiki:Gadgets-definition

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

browsing

 * Navigation_popups[ResourceLoader|dependencies=mediawiki.user,mediawiki.util]|popups.js|navpop.css

editing

 * defaultsummaries[ResourceLoader]|defaultsummaries.js
 * charinsert[ResourceLoader|default]|charinsert.js
 * charinsert-core[ResourceLoader|hidden|dependencies=jquery.textSelection,user,mediawiki.storage]|charinsert-styles.css|charinsert-core.js

appearance

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

administration

 * AjaxPatrol[ResourceLoader]|ajaxpatrol.js