Thread:Project:Current issues/MediaWiki:Edittools/reply

Done: making edittools longer is always a pain to the hearth, but nowadays people on this wiki will always correct "source" if one is so uncautious to use it.