From b780ad9e7528b9c6ef69678538b6ecd3d240e439 Mon Sep 17 00:00:00 2001
From: tastytea <tastytea@tastytea.de>
Date: Mon, 17 Jun 2019 13:05:50 +0200
Subject: [PATCH] ndr_download_button: Replace hq.mp4 with mp3 for audio files.

---
 video/ndr_download_button.user.js | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/video/ndr_download_button.user.js b/video/ndr_download_button.user.js
index 7289e7d..4f8ba41 100644
--- a/video/ndr_download_button.user.js
+++ b/video/ndr_download_button.user.js
@@ -2,7 +2,7 @@
 // @name           NDR download button
 // @description    Adds a download-button for every video and audio on ndr.de.
 // @description:de Fügt einen download-button für jedes videos und audio auf ndr.de hinzu.
-// @version        2019.06.17.1
+// @version        2019.06.17.2
 // @author         tastytea
 // @copyright      2019, tastytea (https://tastytea.de/)
 // @license        GPL-3.0-only
@@ -20,10 +20,14 @@ function get_video_url()
 {
     const element = document.querySelector('[itemprop=contentUrl]');
     let url = element.getAttribute("content");
-    if (url.search("/TV-") > -1) // Only replace in URL if it is a video.
+    if (url.search("/TV-") > -1) // Upgrade Videos to HD.
     {
         url = url.replace("hq.mp4", "hd.mp4");
     }
+    else if (url.search("/AU-") > -1) // The advertised MP4 file does not exist.
+    {
+        url = url.replace("hq.mp4", "mp3");
+    }
 
     return url;
 }