2013-07-14 - production
13:19	<RoanKattouw>	Hand-syncing CommonSettings.php with dsh to set $wgParsoidSkipRatio = 0	[production]