2019-05-29 - production
17:00	<urbanecm@deploy1001>	Synchronized wmf-config/flaggedrevs.php: [[:gerrit:501926|Change arwiki default user preferences]], part 2/3 (T220186) (duration: 00m 56s)	[production]