diff options
author | kontrollanten <6680299+kontrollanten@users.noreply.github.com> | 2020-12-07 08:42:36 +0100 |
---|---|---|
committer | Chocobozzz <chocobozzz@cpy.re> | 2020-12-07 16:52:35 +0100 |
commit | d94ca8d0b77732988b5b4c6e309c64ca35201823 (patch) | |
tree | b537b4a51be03a9b6dfc4fbb2364721bc19ee416 /client/src/assets | |
parent | 46d992d2080c59ca607151910d9987e0b8050e9f (diff) | |
download | PeerTube-d94ca8d0b77732988b5b4c6e309c64ca35201823.tar.gz PeerTube-d94ca8d0b77732988b5b4c6e309c64ca35201823.tar.zst PeerTube-d94ca8d0b77732988b5b4c6e309c64ca35201823.zip |
refactor(wt-plugin): tighten TS definitions
Diffstat (limited to 'client/src/assets')
-rw-r--r-- | client/src/assets/player/webtorrent/webtorrent-plugin.ts | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/client/src/assets/player/webtorrent/webtorrent-plugin.ts b/client/src/assets/player/webtorrent/webtorrent-plugin.ts index 4eaaf51ec..959a55797 100644 --- a/client/src/assets/player/webtorrent/webtorrent-plugin.ts +++ b/client/src/assets/player/webtorrent/webtorrent-plugin.ts | |||
@@ -68,7 +68,7 @@ class WebTorrentPlugin extends Plugin { | |||
68 | 68 | ||
69 | private downloadSpeeds: number[] = [] | 69 | private downloadSpeeds: number[] = [] |
70 | 70 | ||
71 | constructor (player: videojs.Player, options?: WebtorrentPluginOptions) { | 71 | constructor (player: videojs.Player, options: WebtorrentPluginOptions) { |
72 | super(player) | 72 | super(player) |
73 | 73 | ||
74 | this.startTime = timeToInt(options.startTime) | 74 | this.startTime = timeToInt(options.startTime) |
@@ -129,7 +129,7 @@ class WebTorrentPlugin extends Plugin { | |||
129 | : this.pickAverageVideoFile() | 129 | : this.pickAverageVideoFile() |
130 | } | 130 | } |
131 | 131 | ||
132 | updateVideoFile ( | 132 | private updateVideoFile ( |
133 | videoFile: VideoFile, | 133 | videoFile: VideoFile, |
134 | options: { | 134 | options: { |
135 | forcePlay?: boolean, | 135 | forcePlay?: boolean, |