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