2018-12-13 - production
00:22	<dcausse@deploy1001>	Synchronized php-1.33.0-wmf.8/extensions/MobileFrontend/extension.json: T210390: Reset default mobilefrontend provider (duration: 00m 53s)	[production]