class MediaWiki::Butt::NotLoggedInError