File: large-videos-with-audio.html

package info (click to toggle)
webkit2gtk 2.18.6-1~deb9u1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 159,080 kB
  • sloc: cpp: 1,636,147; ansic: 45,350; python: 14,988; perl: 13,794; ruby: 9,803; xml: 9,342; asm: 5,312; yacc: 2,167; lex: 1,007; sh: 773; makefile: 61
file content (18 lines) | stat: -rw-r--r-- 687 bytes parent folder | download | duplicates (11)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
<!DOCTYPE html>
<html>
<script>
    function handleLoaded() {
        // The media controls should be updated on the next runloop.
        setTimeout(function() {
            try {
                window.webkit.messageHandlers.onloadHandler.postMessage("loaded");
            } catch(e) { }
        }, 0);
    }
</script>
<body onload=handleLoaded()>
    <video id="foo" style="width: 480px; height: 320px;"><source src="large-video-with-audio.mp4"></video>
    <video id="bar" style="width: 480px; height: 320px;"><source src="large-video-with-audio.mp4"></video>
    <video id="baz" style="width: 480px; height: 320px;"><source src="large-video-with-audio.mp4"></video>
</body>
<html>