2019-11-19 - production
09:40	<effie>	disable puppet on P:mediawiki::php - T229792	[production]