{ "id": "customizable-page-header-buttons", "name": "Customizable Page Header", "version": "3.1.1", "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 }