MediaWiki:Gadgets-definition

interface-gadgets

• site[ResourceLoader|default|top|dependencies=mediawiki.legacy.wikibits,mediawiki.util,jquery.mwExtension,ext.gadget.enwp-boxes]|site.js|site.css|NavFrame.js|NavFrame.css

editing-gadgets

• DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
• Edittools[ResourceLoader|default]|Edittools.js
• HotCat[ResourceLoader]|HotCat.js

hidden-gadgets

• enwp-boxes[ResourceLoader|rights=hidden|hidden]|enwp-boxes.css

charinsert-core[ResourceLoader|hidden|rights=hidden|dependencies=mediawiki.action.edit,mediawiki.toolbar,jquery.textSelection,user]|charinsert-core.js|charinsert-core.css