{
  "id": "page-index",
  "name": "Page Index",
  "version": "1.0.0",
  "apiVersion": "1",
  "kind": "code",
  "extensionPoints": [
    {
      "type": "pageTool",
      "id": "page-index",
      "title": { "de": "Seitenindex", "en": "Page index" }
    }
  ],
  "permissions": ["readPond", "ui"],
  "fallback": { "type": "text", "value": "[Page index]" },
  "license": "MIT",
  "i18n": { "de": "i18n/de.json", "en": "i18n/en.json" }
}