2012-10-30 - production
17:19	<logmsgbot_>	reedy synchronized wmf-config/CommonSettings.php 'wgMaxAnimatedGifArea = 2.5e7'	[production]