20 lines
817 B
JavaScript
20 lines
817 B
JavaScript
|
// ==UserScript==
|
||
|
// @name NDR HD button
|
||
|
// @description DEPRECATED
|
||
|
// @version 2019.06.17.1
|
||
|
// @author tastytea
|
||
|
// @copyright 2019, 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/ndr_hd_button.user.js
|
||
|
// @grant none
|
||
|
// @match https://*.ndr.de/*
|
||
|
// @run-at document-end
|
||
|
// @inject-into content
|
||
|
// ==/UserScript==
|
||
|
|
||
|
alert("The userscript “NDR HD button” is deprecated. Please use “NDR download button” instead.\n"
|
||
|
+ "https://openuserjs.org/scripts/tastytea/NDR_download_button");
|