2018-04-12 - production
00:08	<maxsem@tin>	Synchronized wmf-config/InitialiseSettings.php: https://gerrit.wikimedia.org/r/#/c/425723/ (duration: 01m 18s)	[production]