2020-08-06 - releng
16:53	<James_F>	Zuul: [mediawiki/extensions/WikiLambda] Add extension-coverage	[releng]