fix(server): drop old extension (#18400)

This commit is contained in:
Mert 2025-05-21 09:53:40 -04:00 committed by GitHub
parent 98e998e814
commit a02fe89ec9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
7 changed files with 211 additions and 80 deletions

View file

@ -383,6 +383,7 @@ export type DatabaseConnectionParts = {
export type DatabaseConnectionParams = DatabaseConnectionURL | DatabaseConnectionParts;
export interface ExtensionVersion {
name: VectorExtension;
availableVersion: string | null;
installedVersion: string | null;
}