2018-05-03 - production
13:19	<addshore@tin>	Synchronized wmf-config/: [[gerrit:395488|Switch to extension.json for Wikidata.org]] (duration: 01m 19s)	[production]