diff --git a/video/ndr_hd_button.user.js b/video/ndr_hd_button.user.js new file mode 100644 index 0000000..f959386 --- /dev/null +++ b/video/ndr_hd_button.user.js @@ -0,0 +1,19 @@ +// ==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");