2013-03-25 - production
20:07	<aaron>	synchronized wmf-config/CommonSettings.php 'Use ffmpeg for ogg thumbs as is done for webm'	[production]