MediaWiki:Gadgets-definition

• wikEd[ResourceLoader]|wikEd.js
• DotsSyntaxHighlighter[ResourceLoader|dependencies=jquery.client]|DotsSyntaxHighlighter.js
• CleanDeleteReasons[ResourceLoader|rights=delete|default]|CleanDeleteReasons.js
• rollback-summary[ResourceLoader|rights=rollback]|rollback-summary.js
• Navigation_popups[ResourceLoader|dependencies=ext.gadget.site-lib]|popups.js|popups.css