MediaWiki:Gadgets-definition

editing-tools

  • TemplatePreloader[ResourceLoader|actions=edit]|TemplatePreloader.js
  • HotCat[ResourceLoader]|HotCat.js