1
0
Fork 0
deeptwisty.com/noises/index.php
2023-01-09 21:57:46 -07:00

58 lines
1.8 KiB
PHP

<!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>deep twisty - noises</title>
<link href="../style.css" rel="stylesheet" type="text/css" media="all">
<link href="../subpage.css" rel="stylesheet" type="text/css" media="all">
<style>
article {
padding: 1rem;
max-width: 25rem;
margin: auto;
}
h2 {
margin-bottom: 0.45rem;
font-size: medium;
}
article p {
margin-top: 0.1rem;
}
audio {
border-radius: 2rem;
box-shadow: 2px 2px 8px black;
}
</style>
</head>
<body>
<main>
<h1 id="header"><span id="headerblue">no</span><span id="headergreen">is</span><span id="headeryellow">es</span></h1>
<p><a class="white-color" style="text-decoration: none; font-size: 1.4em; font-family: var(--hfont);" href="../">home</a></p><hr>
<div id="songs">
<?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("."), "test_audio");
usort($files, function($a, $b) { // Sort files by modification date of the files
return filemtime("$b") - filemtime("$a");
});
foreach($files as $fi) {
echo "<article><h2>$fi</h2><audio controls><source src='$fi' type='audio/mpeg'>your browser does not support embedded audio.</audio></article>";
}
?>
</div>
</main>
</body>
</html>