count($url) ) {$titel = $url[0];}
$autoplay="autoplay"; /* kein Autoplay in iOS */
$neuer_titel=true;
for ($i = 1; $i <= count($url); $i++) {
if ($_REQUEST["titel"] == $i) {$titel = $url[$i-1];}
}
} else {
$titel = $url[0];
$autoplay = "";
}
/* die Linkliste generieren */
for ($i = 1; $i <= count($url); $i++) {
$aufruf .= ' '.$name[$i-1];
if ($titel == $url[$i-1]) {
$aufruf .= " ✔︎";
}
$aufruf .= "\n";
$direktlink .= ' '.$name[$i-1].'';
}
?>
HTML5 Audio und Radio Player
#player {background: #e1e1e1 !important;border: 2px solid #aaa;}
li a {color:#000 !important;}
li {border-top: 1px solid #aaa !important}
audio {margin: 10px 0 5px 0;filter: invert(0);}
';
}
?>
= count($url)) {
$next = 1;
} elseif ($neuer_titel == 0) {
$next = 2;
} else {
$next = $neuer_titel +1;
}
echo '
';
?>