From 5b2c0975d25f6b0996eb89ea0c1aedc74bb5a6bc Mon Sep 17 00:00:00 2001 From: Travis CI Date: Thu, 29 Dec 2016 00:29:47 +0000 Subject: [PATCH] Webpack build: 7ede44bc00aeb449649160de21d4f991245cf070 --- discord.indev.js | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/discord.indev.js b/discord.indev.js index 8a19a450..37b86f39 100644 --- a/discord.indev.js +++ b/discord.indev.js @@ -21622,6 +21622,11 @@ class WebSocketManager extends EventEmitter { this.sequence = -1; } + /** + * @external CloseEvent + * @see {@link https://developer.mozilla.org/en-US/docs/Web/API/CloseEvent} + */ + /** * Run whenever the connection to the gateway is closed, it will try to reconnect the client. * @param {CloseEvent} event The WebSocket close event