Difference between revisions of "MediaWiki:Gadgets-definition"
Jump to navigation
Jump to search
(Added syntax highlighter gadget) |
(No difference)
|
Revision as of 01:34, 8 March 2014
- DotsSyntaxHighlighter[ResourceLoader|default]|DotsSyntaxHighlighter.js