2012-09-03 - production
18:26	<Reedy>	Deleting php-1.20wmf8 from mediawiki-installation	[production]