format_inline_player: add a link to original audio file

diff --git a/include/functions.php b/include/functions.php
index 1feedcbf0172f8fa76ca5833644629504a311959..99c621f5f692103c1e29abfe9ed8eac171307677 100644 (file)
--- a/include/functions.php
+++ b/include/functions.php
@@ -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;