Move to our own player hotkeys

[github/Chocobozzz/PeerTube.git] / client / src / assets / player / peertube-videojs-typings.ts

diff --git a/client/src/assets/player/peertube-videojs-typings.ts b/client/src/assets/player/peertube-videojs-typings.ts
index 824ea058b4cb53b3fdf9a20554db1618890facfe..b20ef7a3b70a88f3bf7f159e5f3ee1bfcff21ed2 100644 (file)
--- a/client/src/assets/player/peertube-videojs-typings.ts
+++ b/client/src/assets/player/peertube-videojs-typings.ts
@@ -41,6 +41,8 @@ declare module 'video.js' {
     contextmenuUI (options: any): any
 
     bezels (): void
+    peertubeMobile (): void
+    peerTubeHotkeysPlugin (): void
 
     stats (options?: StatsCardOptions): StatsForNerdsPlugin
 
@@ -128,6 +130,10 @@ type PeerTubeLinkButtonOptions = {
   shortUUID: string
 }
 
+type PeerTubeP2PInfoButtonOptions = {
+  p2pEnabled: boolean
+}
+
 type WebtorrentPluginOptions = {
   playerElement: HTMLVideoElement
 
@@ -223,5 +229,6 @@ export {
   PeerTubeResolution,
   VideoJSPluginOptions,
   LoadedQualityData,
-  PeerTubeLinkButtonOptions
+  PeerTubeLinkButtonOptions,
+  PeerTubeP2PInfoButtonOptions
 }