Thread:Project:Current issues/MediaWiki:Edittools.js