2013-07-03 - production
15:38	<maxsem>	synchronized wmf-config/InitialiseSettings.php 'https://gerrit.wikimedia.org/r/#/c/71375/'	[production]