MediaWiki:Gadget-definition


 * Edittools[ResourceLoader|default]|Edittools.js