feat: drop CodexExtension (#22140)

Drop `CodexExtension` as not needed for now
This commit is contained in:
jif-oai
2026-05-11 14:19:51 +02:00
committed by GitHub
Unverified
parent 95bfea847d
commit ebd3d53451
7 changed files with 21 additions and 81 deletions
-2
View File
@@ -1,5 +1,4 @@
mod contributors;
mod extension;
mod registry;
mod state;
@@ -14,7 +13,6 @@ pub use contributors::ToolContributor;
pub use contributors::ToolHandler;
pub use contributors::TurnItemContributionFuture;
pub use contributors::TurnItemContributor;
pub use extension::CodexExtension;
pub use registry::ExtensionRegistry;
pub use registry::ExtensionRegistryBuilder;
pub use registry::empty_extension_registry;