2021-11-10 - production
12:53	<lucaswerkmeister-wmde@deploy1002>	Synchronized wmf-config/InitialiseSettings.php: Config: [[gerrit:737695|Update $wgNamespacesToBeSearchedDefault for Wikimania 2022 (T295267)]] (duration: 00m 55s)	[production]