{
	"plugins": [
		{
			"name": "Source editing",
			"className": "SourceEditing",
			"description": "Allows for viewing and editing the source of the document.",
			"docs": "features/source-editing.html",
			"path": "src/sourceediting.js",
			"uiComponents": [
				{
					"type": "Button",
					"name": "sourceEditing",
					"iconPath": "theme/icons/source-editing.svg"
				}
			]
		}
	]
}
