MediaWiki talk:Edittools

Note: this wiki actually uses MediaWiki:Wikimedia-editpage-tos-summary as edittools.