2013-07-05 - production
20:55	<maxsem>	synchronized wmf-config/InitialiseSettings.php 'https://gerrit.wikimedia.org/r/72144'	[production]