Update video.js to version 7.6.5

Derzeit nutzen wir Version 5 von 2017 mit diversen Plugins. Es häufen sich Probleme mit manchen Browsern, z.B. Livestreams in Firefox, die nahelegen, dass ein Update angebracht wäre.

Todos:

• UI-Veränderung von Resolution-Switcher fixen/ignorieren

HowTo Testen:

• mehrere Videos abspielen
• Auflösung ändern
• Lautstärke ändern
• Kapitelmarker sowohl über die Links unterm Video, als auch aus der Liste im Player anspringen
• Kapitelmarker vorschlagen
• Hotkeys ("m" für Mute, "Space" für Play/Pause, "Links"/"Rechts" für Vor/Zurück, "f" für Vollbild) testen. Der Player muss dafür den Fokus haben.

Testen:

• Windows
  • Video-Playback in Chrome
  • Livestreams in Chrome
  • Video-Playback in Firefox
  • Livestreams in Firefox
  • Video-Playback in IE (>8)
  • Livestreams in IE (>8)
  • Video-Playback in Edge
  • Livestreams in Edge
• Linux
  • Video-Playback in Chrome
  • Livestreams in Chrome
  • Video-Playback in Firefox
  • Livestreams in Firefox
• MacOS
  • Video-Playback in Chrome
  • Livestreams in Chrome
  • Video-Playback in Firefox
  • Livestreams in Firefox
  • Video-Playback in Safari
  • Livestreams in Safari
• Android
  • Video-Playback in Chrome
  • Livestreams in Chrome
  • Video-Playback in Firefox
  • Livestreams in Firefox
  • Video-Playback in Default-Browser
  • Livestreams in Default-Browser
• iOS
  • Video-Playback in Safari
  • Livestreams in Safari