MediaWiki:Gadgets-definition

From Linguifex
Revision as of 11:08, 17 November 2013 by Chrysophylax (talk | contribs)
Jump to navigation Jump to search

interface-editors

  • DotsSyntaxHighlighter[ResourceLoader|default]|DotsSyntaxHighlighter.js

browsing

  • ReferenceTooltips[ResourceLoader|default]|ReferenceTooltips.js|ReferenceTooltips.css

editing

  • PatrollingEnhancements[rights=patrol|default]|PatrollingEnhancements.js