From 3638b4021ae3da8410c5626815b7d24f75160bcb Mon Sep 17 00:00:00 2001
From: Superchupu <53496941+SuperchupuDev@users.noreply.github.com>
Date: Fri, 17 Jun 2022 22:26:57 +0100
Subject: [PATCH] refactor: deprecate `$` prefix from `ws.properties` keys
 (#8095)

---
 src/util/Options.js | 6 +++---
 typings/index.d.ts  | 6 ++++++
 2 files changed, 9 insertions(+), 3 deletions(-)

diff --git a/src/util/Options.js b/src/util/Options.js
index 83913f9462da..f2420dc21cd0 100644
--- a/src/util/Options.js
+++ b/src/util/Options.js
@@ -157,9 +157,9 @@ class Options extends null {
         large_threshold: 50,
         compress: false,
         properties: {
-          $os: process.platform,
-          $browser: 'discord.js',
-          $device: 'discord.js',
+          os: process.platform,
+          browser: 'discord.js',
+          device: 'discord.js',
         },
         version: 9,
       },
diff --git a/typings/index.d.ts b/typings/index.d.ts
index 253ff535cf8b..8d4dfe43ccf9 100644
--- a/typings/index.d.ts
+++ b/typings/index.d.ts
@@ -6016,8 +6016,14 @@ export interface WebSocketOptions {
 }
 
 export interface WebSocketProperties {
+  os?: string;
+  browser?: string;
+  device?: string;
+  /** @deprecated Use {@link os} instead. */
   $os?: string;
+  /** @deprecated Use {@link browser} instead. */
   $browser?: string;
+  /** @deprecated Use {@link device} instead. */
   $device?: string;
 }