Fix linter warning

BlueBrain · Dec 11, 2023 · 8baa5cb · 8baa5cb
1 parent abd9eda
commit 8baa5cb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/shared/utils/download.ts b/src/shared/utils/download.ts
@@ -11,8 +11,8 @@ export const download = (
   // Check if filename already ends with the correct extension
   const hasCorrectExtension = filename.endsWith(`.${extension}`);
 
-  if (window.navigator.msSaveBlob) {
-    window.navigator.msSaveBlob(blob, filename);
+  if ((window.navigator as any).msSaveBlob) {
+    (window.navigator as any).msSaveBlob(blob, filename);
   } else {
     const link = document.createElement('a');
     link.href = URL.createObjectURL(blob);