zed_extension_api: Fork new version of extension API (#30611)

This PR forks a new version of the `zed_extension_api` in preparation
for new changes.

Release Notes:

- N/A
This commit is contained in:
Marshall Bowers 2025-05-13 10:35:15 +02:00 committed by GitHub
parent 54c6d482b6
commit 18e911002f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
17 changed files with 1504 additions and 669 deletions

View file

@ -0,0 +1,11 @@
interface context-server {
/// Configuration for context server setup and installation.
record context-server-configuration {
/// Installation instructions in Markdown format.
installation-instructions: string,
/// JSON schema for settings validation.
settings-schema: string,
/// Default settings template.
default-settings: string,
}
}