format_inline_player: add a link to original audio file

This commit is contained in:
Andrew Dolgov 2013-03-20 09:00:21 +04:00
parent 897589a5c3
commit 44cd77b642
1 changed files with 4 additions and 1 deletions

View File

@ -2870,6 +2870,8 @@
$entry = "";
$url = htmlspecialchars($url);
if (strpos($ctype, "audio/") === 0) {
if ($_SESSION["hasAudio"] && (strpos($ctype, "ogg") !== false ||
@ -2896,7 +2898,8 @@
</object>";
}
if ($entry) $entry .= "&nbsp;" . basename($url);
if ($entry) $entry .= "&nbsp; <a target=\"_blank\"
href=\"$url\">" . basename($url) . "</a>";
return $entry;