From b4a1fb7b1f60146043c1cc8b9bb3e4d27e6dae05 Mon Sep 17 00:00:00 2001
From: tastytea <tastytea@tastytea.de>
Date: Sat, 22 Jun 2019 05:30:22 +0200
Subject: [PATCH] ard_download_button: Added fix for WDR shenanigans.

---
 video/ard_download_button.user.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/video/ard_download_button.user.js b/video/ard_download_button.user.js
index 5660975..1a55c4c 100644
--- a/video/ard_download_button.user.js
+++ b/video/ard_download_button.user.js
@@ -2,7 +2,7 @@
 // @name           ARD download button
 // @description    Adds a download-button for every video on ardmediathek.de.
 // @description:de Fügt einen download-button für jedes video auf ardmediathek.de hinzu.
-// @version        2019.06.22.10
+// @version        2019.06.22.11
 // @author         tastytea
 // @copyright      2019, tastytea (https://tastytea.de/)
 // @license        GPL-3.0-only
@@ -37,12 +37,12 @@ function main()
 function get_url()              // Extract URL from HTML.
 {
     const html = document.getElementsByTagName('html')[0].innerHTML;
-    const re_mp4 = new RegExp('"(https://[^",]+\.mp4)"', 'g');
+    const re_mp4 = new RegExp('"(https:)?(//[^",]+\.mp4)"', 'g');
 
     let result = [...html.matchAll(re_mp4)];
     if (result !== null)
     {                           // Return the last match.
-        return result[result.length - 1][1];
+        return "https:" + result[result.length - 1][2];
     }
 
     return null;