fix(Typing): change NodeJS.Timer into NodeJS.Timeout (#4755)

This commit is contained in:
Tristan Guichaoua
2020-08-29 18:54:39 +02:00
committed by GitHub
parent b48b782c87
commit 405b487dc3
2 changed files with 10 additions and 10 deletions

View File

@@ -121,7 +121,7 @@ class WebSocketShard extends EventEmitter {
/**
* The HELLO timeout
* @name WebSocketShard#helloTimeout
* @type {?NodeJS.Timer}
* @type {?NodeJS.Timeout}
* @private
*/
Object.defineProperty(this, 'helloTimeout', { value: undefined, writable: true });
@@ -145,7 +145,7 @@ class WebSocketShard extends EventEmitter {
/**
* The ready timeout
* @name WebSocketShard#readyTimeout
* @type {?NodeJS.Timer}
* @type {?NodeJS.Timeout}
* @private
*/
Object.defineProperty(this, 'readyTimeout', { value: undefined, writable: true });