2020-11-02 - production
14:01	<hashar@deploy1001>	Synchronized wmf-config/CommonSettings.php: Remove $wgExtDistListFile, unused - T266024 (duration: 00m 58s)	[production]