MediaWiki:Gadgets-definition: Difference between revisions
Jump to navigation
Jump to search
(Created page with "== editing-gadgets == * DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js * HotCat[ResourceLoader|default]|HotCat.js") |
(No difference)
|
Revision as of 10:49, 22 August 2014
editing-gadgets
- DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
- HotCat[ResourceLoader|default]|HotCat.js