2018-11-28 - production
16:54	<thcipriani@deploy1001>	Synchronized php-1.33.0-wmf.6/extensions/WikimediaIncubator/extension.json: [[gerrit:476304|Revert "Replace wiki with wikipedia as wmf-config has been updated"]] T117023 (duration: 00m 54s)	[production]