2019-09-07 04:23:15 +00:00
|
|
|
export namespace server {
|
|
|
|
export const ServerType = Symbol("ServerType");
|
|
|
|
export const Console = Symbol("Console");
|
2019-11-04 12:18:30 +00:00
|
|
|
export const Server = Symbol("Server");
|
|
|
|
export interface Server {
|
|
|
|
getVersion(): string;
|
|
|
|
getPlayer(name: string): any;
|
|
|
|
}
|
2019-09-07 04:23:15 +00:00
|
|
|
}
|