2014-01-07 - production
18:08	<Reedy>	Deleting old math binaries across mediawiki-installation	[production]