Difference between revisions of "MediaWiki:Gadgets-definition"

From Istaria Lexica

(4 intermediate revisions by the same user not shown)
(No difference)

Revision as of 22:40, 26 November 2020

  • HotCat[ResourceLoader|default]|HotCat.js
  • DotsSyntaxHighlighter[ResourceLoader|default]|DotsSyntaxHighlighter.js
  • charinsert[ResourceLoader|default|peers=charinsert-styles]|charinsert.js
  • charinsert-core[ResourceLoader|hidden|dependencies=jquery.textSelection,user,mediawiki.storage]|charinsert-core.js
  • charinsert-styles[ResourceLoader|hidden|type=styles]|charinsert-styles.css