class MediaWiki::Butt::PatrolError