chore(webmcp): Update toolsRemoved event tools parameter interface (#14888)

This commit is contained in:
François Beaufort
2026-04-20 06:52:41 +00:00
committed by GitHub
parent 0e2083785e
commit 699d9a4811
+6 -1
View File
@@ -55,8 +55,13 @@ interface ProtocolWebMCPToolsAddedEvent {
tools: ProtocolWebMCPTool[];
}
interface ProtocolWebMCPRemovedTool {
name: string;
frameId: string;
}
interface ProtocolWebMCPToolsRemovedEvent {
tools: ProtocolWebMCPTool[];
tools: ProtocolWebMCPRemovedTool[];
}
interface ProtocolWebMCPToolInvokedEvent {