From 245933a50ea24c977875d2dcf305b72f83ace4b1 Mon Sep 17 00:00:00 2001
From: tastytea <tastytea@tastytea.de>
Date: Tue, 4 May 2021 02:24:44 +0200
Subject: [PATCH] Removed ARD download button.

It doesn't work anymore, I can't figure out how to extract the URL.
---
 video/ard_download_button.user.js | 78 -------------------------------
 1 file changed, 78 deletions(-)
 delete mode 100644 video/ard_download_button.user.js

diff --git a/video/ard_download_button.user.js b/video/ard_download_button.user.js
deleted file mode 100644
index 2ab7972..0000000
--- a/video/ard_download_button.user.js
+++ /dev/null
@@ -1,78 +0,0 @@
-// ==UserScript==
-// @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        2020.05.26.1
-// @author         tastytea
-// @copyright      2019-2020, tastytea (https://tastytea.de/)
-// @license        GPL-3.0-only
-// @namespace      tastytea.de
-// @homepageURL    https://schlomp.space/tastytea/userscripts
-// @supportURL     https://schlomp.space/tastytea/userscripts/issues
-// @downloadURL    https://schlomp.space/tastytea/userscripts/raw/branch/main/video/ard_download_button.user.js
-// @grant          none
-// @match          https://*.ardmediathek.de/*
-// @run-at         document-end
-// @inject-into    content
-// ==/UserScript==
-
-function main()
-{
-    // Stop if button is already there.
-    if (document.getElementById("tastytea_downloadbutton") !== null)
-    {
-        return;
-    }
-
-    const url = get_url();
-    if (url === null)
-    {
-        console.warn("Could not get video URL.");
-        return;
-    }
-
-    add_button(url);
-}
-
-function get_url()              // Extract URL from HTML.
-{
-    const html = document.documentElement.innerHTML;
-    const re_mp4 = new RegExp('"(https:)?(//[^",]+\.mp4)"', 'g');
-
-    const result = [...html.matchAll(re_mp4)];
-    if (result !== null)
-    {                           // Return the last match.
-        return "https:" + result[result.length - 1][2];
-    }
-
-    return null;
-}
-
-function add_button(url)
-{
-    // Last time I looked, there was only 1 element with that class.
-    const root = document.getElementsByClassName("src__Box-sc-1sbtrzs-0 src__Flex-sc-1sbtrzs-1 Row-wbrv0h-0 rWQeG")[0];
-    if (root === undefined)
-    {
-        console.warn("Could not find root element.");
-        return;
-    }
-
-    const button = document.createElement("a");
-    button.setAttribute("id", "tastytea_downloadbutton");
-    button.setAttribute("href", url);
-    button.style.fontSize = "120%";
-    button.style.fontWeight = "bold";
-    button.style.textDecoration = "underline";
-    button.style.backgroundColor = "#00000040";
-    button.style.padding = "0.5em";
-    button.appendChild(document.createTextNode("Download"));
-
-    const div = document.createElement("div");
-    div.setAttribute("class", "col");
-
-    div.appendChild(button);
-    root.appendChild(div);
-}
-
-setInterval(main, 2000); // The script is not restarted when clicking on a link.