2017-04-14 - production
20:53	<reedy@tin>	Synchronized wmf-config/InitialiseSettings.php: Disable Linter on larger wikis T148609 (duration: 00m 41s)	[production]