MediaWiki:Gadget-Edittools.js

/* */