Summary:Support/MediaWiki:Tog-editwidth

Feature removed but was maybe useful.