MediaWiki:Gadgets-definition

From Citizendium
Revision as of 08:45, 24 January 2023 by Pat Palmer (talk | contribs)
Jump to navigation Jump to search
  • charinsert[ResourceLoader|default]|charinsert.js
  • exlinks[ResourceLoader|dependencies=mediawiki.util]|exlinks.js