2018-05-09 - production
13:18	<zfilipin@tin>	Synchronized wmf-config/InitialiseSettings.php: SWAT: [[gerrit:431609|Remove unused wgKartographerDfltStyle setting (T191655)]] (duration: 01m 20s)	[production]