2020-09-15 - production
23:14	<urbanecm@deploy1001>	Synchronized wmf-config/flaggedrevs.php: ac8bd3894f2dc8f2735cc9fa7b860af1d91c6707: flaggedrevs: Remove non-existent config options (duration: 00m 58s)	[production]