MediaWiki:Gadgets-definition: Difference between revisions

From Linguifex
Jump to navigation Jump to search
mNo edit summary
mNo edit summary
 
Line 1: Line 1:
== interface-editors ==
== interface-editors ==
*DotsSyntaxHighlighter[ResourceLoader|default]|DotsSyntaxHighlighter.js
== browsing ==
== browsing ==
*ReferenceTooltips[ResourceLoader|default]|ReferenceTooltips.js|ReferenceTooltips.css
*ReferenceTooltips[ResourceLoader|default]|ReferenceTooltips.js|ReferenceTooltips.css
== editing ==
== editing ==
*PatrollingEnhancements[rights=patrol|default]|PatrollingEnhancements.js
*PatrollingEnhancements[rights=patrol|default]|PatrollingEnhancements.js

Latest revision as of 23:43, 4 May 2019

interface-editors

browsing

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

editing

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