MediaWiki:Gadgets-definition
Материал из Dradipedia
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