MediaWiki:Gadget-Edittools.js

//