2013-11-15 - production
23:13	<ori>	synchronized wmf-config/CommonSettings.php 'Ia9e64253d: Configure tungsten as $wgUDPProfilerHost'	[production]