MediaWiki:Gadgets-definition

Faan Wikipedia

edittools

  • HotCat[ResourceLoader]|HotCat.js
  • PR-ocr[ResourceLoader]|PR-ocr.js