2014-02-14 - production
18:29	<aaron>	synchronized wmf-config/CommonSettings.php 'Set wgMathDisableTexFilter to fix performance regression'	[production]