The Wikimedia Foundation Mediawiki - FlaggedRevs extension