2019-12-03 - production
02:13	<jforrester@deploy1001>	Synchronized wmf-config/InitialiseSettings.php: Stop setting wgGEHelpPanelSearchEnabled, no longer used (duration: 01m 08s)	[production]