MediaWiki:Gadgets-definition

From MicroWiki, the micronational encyclopædia
Jump to navigation Jump to search

Editing gadgets

  • wikEd|wikEd.js
  • DotsSyntaxHighlighter[ResourceLoader|default]|DotsSyntaxHighlighter.js
  • ReferenceTooltips|Gadget-ReferenceTooltips.js