[Agent] Fix type of Toolbox::$tools

lyrixx · lyrixx · commit 0a91de8d5e8b · 2025-12-03T10:29:49.000+01:00
diff --git a/src/agent/src/Toolbox/Toolbox.php b/src/agent/src/Toolbox/Toolbox.php
@@ -34,7 +34,7 @@ final class Toolbox implements ToolboxInterface
     /**
      * List of executable tools.
      *
-     * @var list<mixed>
+     * @var list<object>
      */
     private readonly array $tools;
 

Original file line number	Diff line number	Diff line change
`@@ -34,7 +34,7 @@ final class Toolbox implements ToolboxInterface`
`34`	`34`	`/**`
`35`	`35`	`* List of executable tools.`
`36`	`36`	`*`
`37`		`- * @var list<mixed>`
	`37`	`+ * @var list<object>`
`38`	`38`	`*/`
`39`	`39`	`private readonly array $tools;`
`40`	`40`