2015-03-05 - production
17:31	<^d>	updated php-1.25wmf(19|20) remotes to use https instead of ssh	[production]