Re: [Wikitech-l] FlaggedRevs gone from mediawiki.org