2017-05-09 - production
13:08	<reedy@tin>	Synchronized wmf-config/mobile.php: wfLoadExtension for ZeroBanner (duration: 00m 41s)	[production]