3 $documents = $source["reference"] ? $source["reference"]["documents"] : $source["documents"];
12 foreach($documents as $id_document => $document) :
15 if(($k = strrpos($document["url"], ".")) !== false) $ext = strtolower(substr($document["url"], $k + 1));
18 $audio_type = "audio/ogg";
21 $audio_type = "audio/mp3";
27 <li id="document_<?php echo $source["id"]."_".$id_document ?>">
28 <?php if($audio_type) : ?>
29 <div class="player_controls player" id="player_<?php echo $source["id"]."_".$id_document ?>">
30 <a class="play" href="#"><img src="<?php echo $this->out_url("icons/play.png") ?>" alt="play" /></a>
31 <a class="pause" href="#"><img src="<?php echo $this->out_url("icons/pause.png") ?>" alt="pause" /></a>
32 <a class="stop" href="#"><img src="<?php echo $this->out_url("icons/stop.png") ?>" alt="stop" /></a>
33 <audio id="audio_<?php echo $source["id"]."_".$id_document ?>" preload="none">
34 <source src="<?php echo $document["url"] ?>" type="<?php echo $audio_type ?>">
38 <div class="no_player"><!-- --></div>
39 <a href="<?php echo $document["url"] ?>"><?php echo $document["nom"]; ?></a>
45 <div class="clear"><!-- --></div>