declare namespace deskrt { const version: string; let c: any; function loadResource(paths: string[]): Promise<{}>; function removeResource(paths: string[]): void; function loadScript(paths: string[]): Promise; function setTheme(theme: string, mask?: boolean): Promise; function setLocale(loc: string): Promise; function setAsideWidth(width: string): void; function arrayUnique(arr: any[]): any[]; function html2escape(html: string): string; function highlight(dom: HTMLElement, code: string): void; function purify(text: string): string; function sleep(timeout: number): Promise; function clone(obj: any): any; function showMask(top?: boolean): void; function hideMask(): void; function showTextMask(text: string): void; function hideTextMask(): void; function alert(text: string): Promise; function confirm(text: string): Promise; let goCallback: (vm?: any) => any; function go(path: string, callback?: (vm?: any) => any): void; function goBack(): void; function get(url: string): Promise; function post(url: string, data: any): Promise; } declare module "deskrt" { export = deskrt; }