MediaWiki:Gadgets-definition

• exlinks[ResourceLoader]|exlinks.js
• Navigation_popups[ResourceLoader|dependencies=mediawiki.util,mediawiki.user]|popups.js|navpop.css
• charinsert[ResourceLoader]|charinsert.js
• charinsert-core[ResourceLoader|hidden|rights=hidden|dependencies=mediawiki.action.edit,jquery.textSelection]|charinsert-core.js|charinsert-core.css
• defaultsummaries[ResourceLoader]|defaultsummaries.js