blob: 745a5b540cec02ba4f457178e1f8377df095ee86 (
plain)
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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
<!DOCTYPE html>
<html>
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="icon" type="image/x-icon" href="/favicon.ico">
<title>/log/aud</title>
<link href="../style.css" rel="stylesheet" type="text/css" media="all">
<style>
article {
display: flex;
align-items: center;
justify-content: space-between;
}
@media only screen and (hover: none) {
article {
flex-direction: column;
align-items: initial;
}
audio {
margin: 0.5rem;
}
}
</style>
</head>
<body>
<nav><a href="../"><<<</a></nav>
<p>$ pwd</p>
<h1 class="title">/log/aud</h1>
<p>$ ls -t</p>
<section class="dir">
<?php
// Code to automatically populate the page with every mp3 file in the directory.
// Should display filename - and date of creation and id3 comment if possible.
function test_audio($name) { // Returns true if a file is an mp3, false otherwise
return (strpos($name, ".mp3") > 0);
}
$files = array_filter(scandir("../../noises/"), "test_audio");
usort($files, function($a, $b) { // Sort files by modification date of the files
return filemtime("../../noises/$b") - filemtime("../../noises/$a");
});
foreach($files as $fi) {
//$fitime = filemtime("../../noises/$fi");
$fisize = filesize("../../noises/$fi");
echo "<article><span>$fi</span><audio controls><source src='../../noises/$fi' type='audio/mpeg'>your browser does not support embedded audio.</audio></article>";
}
?>
</section>
<p>$</p>
</body>
</html>
|
