2020-02-12 - production
00:21	<reedy@deploy1001>	Synchronized wmf-config/CommonSettings.php: rm wgKartographerIconServer (duration: 01m 02s)	[production]