2019-06-18 - releng
11:32	<hauskatze>	github: deleted https://github.com/wikimedia/mediawiki-extensions-PureWikiDeletion | T225991	[releng]