MediaWiki

Gadgets-definition

  • Edittools[ResourceLoader|default]|Edittools.js
  • wikEd|wikEd.js