paxt82
/
paxt001
forked from tastytea/userscripts
0
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

ard_download_button: Added fix for WDR shenanigans.

This commit is contained in:
tastytea 2019-06-22 05:30:22 +02:00
parent 821fa97ce4
commit b4a1fb7b1f
Signed by untrusted user: tastytea
GPG Key ID: CFC39497F1B26E07
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
video/ard_download_button.user.js
View File

@ -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;