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 f97d7a208ded263d1bc4a94bcacea0c2f9174435..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