MediaWiki:Gadgets-definition

From Wikisource
Jump to navigation Jump to search

editing-tools

  • TemplatePreloader[ResourceLoader]|TemplatePreloader.js
  • wikEd[ResourceLoader]|wikEd.js
  • revisionjumper[ResourceLoader]|revisionjumper.js
  • HotCat[ResourceLoader]|HotCat.js
  • LongEditSummaries[ResourceLoader]|LongEditSummaries.js
  • specialchars[ResourceLoader]|specialchars.js

interface-tools

  • purgetab[ResourceLoader | dependencies=mediawiki.util, mediawiki.api, mediawiki.notify]|purgetab.js
  • UTCLiveClock[ResourceLoader]|UTCLiveClock.js
  • addsection-plus[ResourceLoader]|addsection-plus.js
  • exlinks[ResourceLoader]|exlinks.js
  • purgeindex[ResourceLoader | dependencies=mediawiki.util, mediawiki.api, mediawiki.notify]|purgeindex.js
  • seriffonts[ResourceLoader]|seriffonts.css

admin-tools

  • blocktab[ResourceLoader|dependencies=mediawiki.util]|blocktab.js
  • CleanDeleteReasons[ResourceLoader]|CleanDeleteReasons.js
  • FastDelete[ResourceLoader|type=general|rights=delete]|FastDelete.js

editing-tools-for-Page-namespace

  • ocr[ResourceLoader]|ocr.js
  • GoogleOCR[ResourceLoader]|GoogleOCR.js
  • robot[ResourceLoader]|robot.js
  • preload-prp-page-image[ResourceLoader]|preload-prp-page-image.js