2018-08-15 - production
08:59	<moritzm>	rebooting deployment-mediawiki-09	[production]