2021-05-05 - production
18:40	<tgr@deploy1002>	Synchronized wmf-config/flaggedrevs.php: Config: [[gerrit:679938|flaggedrevs.php: Use MediaWikiServices, not an extension function]] (duration: 01m 08s)	[production]