chore: removals

Signed-off-by: blam <ben@blam.sh>
2024-09-18 16:26:46 +02:00
parent 3f12044826
commit 4a5ba19344
66 changed files with 158 additions and 1319 deletions
@@ -21,7 +21,6 @@ const _default: FrontendPlugin<
  {
    'api:devtools': ExtensionDefinition<{
      kind: 'api';
-      namespace: undefined;
      name: undefined;
      config: {};
      configInput: {};
@@ -37,7 +36,6 @@ const _default: FrontendPlugin<
    }>;
    'page:devtools': ExtensionDefinition<{
      kind: 'page';
-      namespace: undefined;
      name: undefined;
      config: {
        path: string | undefined;
@@ -68,7 +66,6 @@ const _default: FrontendPlugin<
    }>;
    'nav-item:devtools': ExtensionDefinition<{
      kind: 'nav-item';
-      namespace: undefined;
      name: undefined;
      config: {};
      configInput: {};