class MediaWiki::Butt::EditError