graphdb-workbench/dist/shared-components/global.d.ts

The web application for GraphDB APIs

import {PluginRegistry} from './src/models/plugin/plugin-registry';
import {SingleSpa} from '@ontotext/workbench-api';

declare global {
  interface Window {
    wbDevMode: boolean;
    PluginRegistry: PluginRegistry;
    singleSpa: SingleSpa;
  }
}

export {}