graphdb-workbench/dist/wb-plugins/plugins-manifest.json

The web application for GraphDB APIs

{
  "plugins": [
    {
      "name": "alert-tool",
      "entry": "plugins/tools/alert-tool-plugin.js"
    },
    {
      "name": "console-tool",
      "entry": "plugins/tools/console-tool-plugin.js"
    },
    {
      "name": "core-steps",
      "entry": "plugins/guides/core-steps-plugin.js"
    }
  ]
}