extension_api: Add documentation to context server configuration (#29800)

Release Notes:

- N/A
This commit is contained in:
Bennet Bo Fenner 2025-05-02 17:37:05 +02:00 committed by GitHub
parent fde621f0e3
commit e6f6b351b7
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 9 additions and 9 deletions

View file

@ -1,11 +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,
}
}