Custom version of mediawiki extension FlaggedRevs