[10:13:58] <Amir1>	 If anyone is feeling like getting rid of some FlaggedRevs code https://gerrit.wikimedia.org/r/q/topic:%22cleanup/dead-code%22+project:mediawiki/extensions/FlaggedRevs