2018-06-21 - releng
12:04	<hashar>	github: deleting https://github.com/wikimedia/mediawiki-extensions-EtherEditor | T197698	[releng]