{
	"id": "customizable-page-header-buttons",
	"name": "Customizable Page Header",
	"version": "3.1.2",
	"minAppVersion": "0.12.19",
	"description": "This plugin lets you add buttons for executing commands to the page header.",
	"author": "kometenstaub",
	"authorUrl": "https://github.com/kometenstaub",
	"isDesktopOnly": false
}