class MediaWiki::Butt::NotBotError