2019-10-21 - production
09:35	<moritzm>	removing PHP 7.0 from deployment servers	[production]