2016-09-15 - releng
08:45	<elukey>	removed mediawiki03 from puppet with https://gerrit.wikimedia.org/r/#/c/310749/	[releng]