2015-01-14 - production
17:27	<Reedy>	deleted php-1.25wmf5 through php-1.25wmf9 from /srv/mediawiki	[production]