File: file-with-video.html

package info (click to toggle)
webkit2gtk 2.34.6-1~deb10u1
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 262,936 kB
  • sloc: cpp: 2,410,633; javascript: 191,866; ansic: 97,227; xml: 65,800; python: 30,274; ruby: 17,137; perl: 15,396; asm: 9,345; yacc: 2,309; sh: 1,660; lex: 1,293; java: 726; makefile: 106; pascal: 60
file content (27 lines) | stat: -rw-r--r-- 551 bytes parent folder | download | duplicates (17)
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>