From fa4a298bfa9574fe7aaa78af5a9145e9e4907a7b Mon Sep 17 00:00:00 2001 From: Abdullah Atta Date: Wed, 22 Mar 2023 10:45:03 +0500 Subject: [PATCH] web: use `NodeJS.Platform` instead of `process.platform` --- apps/web/src/global.d.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/apps/web/src/global.d.ts b/apps/web/src/global.d.ts index fb14fddbd..919bf3aca 100644 --- a/apps/web/src/global.d.ts +++ b/apps/web/src/global.d.ts @@ -32,7 +32,7 @@ type DesktopIntegrationSettings = { }; declare interface Window { - os: typeof process.platform & "mas"; + os: NodeJS.Platform | "mas"; config: { static spellChecker(): Promise; static desktopIntegration(): Promise;