export declare function downloadFile(filename: string, contents: string): void;