File: file-with-video.html

package info (click to toggle)
webkit2gtk 2.44.2-1~deb11u1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 367,728 kB
  • sloc: cpp: 2,946,520; javascript: 194,328; ansic: 137,901; python: 45,716; ruby: 18,487; asm: 16,672; perl: 16,476; xml: 4,376; yacc: 2,350; sh: 2,127; java: 1,711; lex: 1,323; pascal: 333; makefile: 323
file content (27 lines) | stat: -rw-r--r-- 551 bytes parent folder | download | duplicates (15) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
 
<html>
<head>
  <script>
    function playVideo()
    {
        document.getElementById("test-video").play();
    }
    function pauseVideo()
    {
        document.getElementById("test-video").pause();
    }
    function seekNearTheEnd()
    {
        let video = document.getElementById("test-video");
        video.currentTime = video.duration - 0.5;
    }
  </script>
</head>
<body>
    <p>
    <video id="test-video" src="test.mp4" controls></video>
    </p>
    <p>
    <button onclick="playVideo()">Play Video</button>
    </p>
</body>
</html>