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

ard_download_button: Use submatch.

This commit is contained in:
tastytea 2019-06-22 05:11:18 +02:00
parent 2f1f7d718e
commit 4f23f2514e
Signed by untrusted user: tastytea
GPG Key ID: CFC39497F1B26E07
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
video/ard_download_button.user.js
View File

@ -2,7 +2,7 @@
// @name ARD download button // @name ARD download button
// @description Adds a download-button for every video on ardmediathek.de. // @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. // @description:de Fügt einen download-button für jedes video auf ardmediathek.de hinzu.
// @version 2019.06.22.8 // @version 2019.06.22.9
// @author tastytea // @author tastytea
// @copyright 2019, tastytea (https://tastytea.de/) // @copyright 2019, tastytea (https://tastytea.de/)
// @license GPL-3.0-only // @license GPL-3.0-only
@ -45,10 +45,10 @@ function get_url() // Extract URL from HTML.
const html = document.getElementsByTagName('html')[0].innerHTML; 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.match(re_mp4); let result = [...html.matchAll(re_mp4)];
if (result !== null) if (result !== null)
{ { // Return the last match.
return result[result.length - 1].replace(/"/g, ""); return result[result.length - 1][1];
} }
return null; return null;