2019-07-26 - releng
16:02	<hauskatze>	Deleted https://github.com/wikimedia/mediawiki-extensions-Copyvio | refs. T228087	[releng]