MediaWiki:Gadgets-definition

From Citizendium
Revision as of 08:51, 24 January 2023 by Pat Palmer (talk | contribs) (adding purgetab)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
  • charinsert[ResourceLoader|default]|charinsert.js
  • exlinks[ResourceLoader|dependencies=mediawiki.util]|exlinks.js
  • purgetab[ResourceLoader|dependencies=mediawiki.util,mediawiki.api]|purgetab.js