MediaWiki:Gadgets-definition

Материал из RuBeta Wiki
  • registerTool[ResourceLoader|hidden|dependencies=mediawiki.util,user.options]|registerTool.js

editing

  • wikificator[ResourceLoader|default|hidden|type=general|actions=edit|dependencies=ext.gadget.registerTool,jquery.client]|wikificator.js|wikificator.css
  • DotsSyntaxHighlighter[ResourceLoader|actions=edit|dependencies=jquery.client]|DotsSyntaxHighlighter.js