Video Player Enhancements

Script contains some enhancements for default HTML5 player.

Lista urozmaiceń:

kontrola czasu filmu za pomocą strzałek lewo/prawo o 5 sekund,
kontrola czasu filmu za pomocą klawiszy 0-9 (wciśnięcie powoduje przewinięcie do danej części filmu — tak, jak w odtwarzaczu YouTube),
kontrola poziomu głośności za pomocą strzałek góra/dół o 5%,
wyciszanie dźwięku po wciśnięciu klawisza m,
przejście do trybu pełnoekranowego za pomocą klawisza f lub podwójnego kliknięcia lewego przycisku myszy,
automatyczne ukrywanie kursora po pewnym czasie (zmienna mouseHideTimeout).

List of enhancements:

video time control by left/right arrows by 5 seconds,
video time control by 0-9 keys (press moves current video time to given video part — like on YouTube),
volume control by up/down arrows by 5%,
video mute by pressing m key,
fullscreen mode by pressing f key or left mouse button double click,
mouse cursor auto-hiding after specified time (mouseHideTimout variable).