2018-08-30 - releng
19:37	<Hauskatze>	github: deleted mirror of extension-MwEmbedSupport per T197918	[releng]