From 6d4599a796bbcebed72ab89103b70f28d18084f7 Mon Sep 17 00:00:00 2001
From: Peter Steinberger <steipete@gmail.com>
Date: Tue, 28 Apr 2026 19:46:46 +0100
Subject: [PATCH] fix: satisfy discord gateway lint

---
 extensions/discord/src/monitor/gateway-plugin.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extensions/discord/src/monitor/gateway-plugin.ts b/extensions/discord/src/monitor/gateway-plugin.ts
index 39089c3f507..23cceeb5c5d 100644
--- a/extensions/discord/src/monitor/gateway-plugin.ts
+++ b/extensions/discord/src/monitor/gateway-plugin.ts
@@ -117,7 +117,7 @@ export function resolveDiscordGatewayIntents(params?: ResolveDiscordGatewayInten
 
 function normalizeGatewayInfoTimeoutMs(value: unknown): number | undefined {
   const numeric =
-    typeof value === "number" ? value : typeof value === "string" ? Number(value) : NaN;
+    typeof value === "number" ? value : typeof value === "string" ? Number(value) : Number.NaN;
   if (!Number.isFinite(numeric) || numeric <= 0) {
     return undefined;
   }