2021-01-20 15:15:01 +00:00
|
|
|
import Explorer from "./Explorer/Explorer";
|
|
|
|
|
|
|
|
declare global {
|
|
|
|
interface Window {
|
2021-03-11 05:02:55 +00:00
|
|
|
/**
|
|
|
|
* @deprecated
|
|
|
|
* DO NOT take new usage of window.dataExplorer. If you must use Explorer, find it directly.
|
|
|
|
* */
|
2021-01-20 15:15:01 +00:00
|
|
|
dataExplorer: Explorer;
|
|
|
|
__REACT_DEVTOOLS_GLOBAL_HOOK__: any;
|
2021-03-11 05:02:55 +00:00
|
|
|
/**
|
|
|
|
* @deprecated
|
|
|
|
* No new usage of jQuery ($)
|
|
|
|
* */
|
2021-01-20 15:15:01 +00:00
|
|
|
$: any;
|
|
|
|
gitSha: string;
|
|
|
|
}
|
|
|
|
}
|