2013-01-03 - production
00:54	<robh>	synchronized wmf-config/PoolCounterSettings.php	[production]