MediaWiki:Edittools.js

//