2018-12-20 - production
09:35	<gilles@deploy1001>	Synchronized wmf-config/InitialiseSettings.php: T187299 Increase ruwiki navtiming rate + frwiki survey rate (duration: 00m 52s)	[production]