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