$document) :
$ext = "";
$audio_type = "";
if(($k = strrpos($document["url"], ".")) !== false) $ext = strtolower(substr($document["url"], $k + 1));
switch($ext){
case "ogg":
$audio_type = "audio/ogg";
break;
case "mp3":
$audio_type = "audio/mp3";
break;
}
?>
- ">
">