{
	"plugins": [
		{
			"name": "HTML embed",
			"className": "HtmlEmbed",
			"description": "Allows for embedding an arbitrary HTML snippet in the editor.",
			"docs": "features/html-embed.html",
			"path": "src/htmlembed.js",
			"uiComponents": [
				{
					"type": "Button",
					"name": "htmlEmbed",
					"iconPath": "theme/icons/html.svg"
				}
			],
			"htmlOutput": [
				{
					"elements": "div",
					"classes": "raw-html-embed"
				},
				{
					"elements": "*",
					"classes": "*",
					"styles": "*",
					"isAlternative": true,
					"_comment": "The plugin can output any arbitrary HTML provided by the user. That HTML is always wrapped with a `<div class=\"raw-html-embed\">` element."
				}
			]
		}
	]
}