2017-06-19 - production
18:19	<reedy@tin>	Synchronized wmf-config/flaggedrevs.php: Remove old setting that does nothing (duration: 00m 41s)	[production]