☰

ARD Mediathek Download

Erweitert den Video-Player um einen Download-Button.

  1. // ==UserScript==
  2. // @name        ARD Mediathek Download
  3. // @namespace   schwarztee
  4. // @description Erweitert den Video-Player um einen Download-Button.
  5. // @include     http://www.ardmediathek.de/*
  6. // @copyright   2015, schwarztee
  7. // @license     MIT
  8. // @version     0.1.2
  9. // @grant       none
  10. // ==/UserScript==
  11.  
  12. 'use strict';
  13.  
  14. (function(){
  15.     
  16.     // Helfer: DOM-Element finden
  17.     function find( selector ) { return document.querySelector( selector ); }
  18.     
  19.     // Video-URL finden
  20.     function findVideoURL()
  21.     {
  22.         // nach HTML5-Player suchen
  23.         var htmlVideo = find( 'video.ardplayer-mediacanvas source' );
  24.         
  25.         // nach Flash-Player suchen
  26.         var flashObject = find( 'object.ardplayer-mediacanvas' );
  27.         
  28.         // HTML5 gefunden?
  29.         if ( htmlVideo )
  30.         {
  31.             // URL einfach von src-Attribut nehmen
  32.             return htmlVideo.src;
  33.         }
  34.         
  35.         // Flash gefunden?
  36.         if ( flashObject )
  37.         {
  38.             // Player-ID herausfinden
  39.             var id = flashObject.id.replace( /\w+_(\d+)/, '$1' );
  40.             
  41.             // relevante Konfiguration holen
  42.             var player = window.ardplayer[ 'eventCtrlplayer_'+id ];
  43.             
  44.             // Daten zum aktuellen Stream erfahren
  45.             var currentStream = player.getPlayingStreamObject();
  46.             
  47.             // URL extrahieren
  48.             var url = currentStream._stream;
  49.             
  50.             // mp4-Link in URL vorhanden?
  51.             if ( /^http.*mp4$/.test( url ) )
  52.             {
  53.                 // passt, URL zurückgeben
  54.                 return url;
  55.             }
  56.             else
  57.             {
  58.                 // hmm, wahrscheinlich liegt RTMP-Stream vor
  59.                 // na gut, dann versuchen, alle mp4-Streams zu holen
  60.                 var mediaStreamArray = player.mc._mediaArray[1]._mediaStreamArray;
  61.                 
  62.                 // Stream mit passender Qualität finden
  63.                 for ( var index = 0; index < mediaStreamArray.length; index++ )
  64.                 {
  65.                     // Qualität dieses Streams gleich der des aktuell abgespielten?
  66.                     if ( mediaStreamArray[index]._quality == currentStream._quality )
  67.                     {
  68.                         // perfekt, URL(s) zu dieser Datei extrahieren
  69.                         url = mediaStreamArray[index]._stream;
  70.                         
  71.                         // falls mehrere Dateien zu dieser Qualität vorliegen…
  72.                         if ( url.length && url[0].length > 1 )
  73.                         {
  74.                             // …einfach die erste nehmen
  75.                             return url[0];
  76.                         }
  77.                         else
  78.                         {
  79.                             // ansonsten direkt die gefundene URL zurückgeben
  80.                             return url;
  81.                         }
  82.                     }
  83.                 }
  84.             }
  85.         }
  86.         
  87.         // kein Video gefunden
  88.         return false;
  89.     }
  90.     
  91.     // Download-Button einrichten
  92.     function setupDownloadButton( url )
  93.     {
  94.         // Container für Steuer-Buttons zurechtlegen
  95.         var controlBar = find( '.ardplayer-player-funktion' );
  96.         
  97.         // nach schon vorhandenem Download-Link suchen
  98.         var link = find( 'a.video-download' );
  99.         
  100.         // falls noch nicht vorhanden
  101.         if ( !link )
  102.         {
  103.             // Klassenname für Abspiel-Button
  104.             var buttonClass = 'ardplayer-btn-playpause';
  105.             
  106.             // hübschen Button erzeugen
  107.             var button = document.createElement( 'button' );
  108.             button.setAttribute( 'title', "Video herunterladen" );
  109.             button.setAttribute( 'class', buttonClass );
  110.             button.setAttribute( 'style', 'transform: rotate(90deg); border: 0;' );
  111.             
  112.             // Mouseover-Effekt für Button
  113.             button.onmouseenter = function() { button.setAttribute( 'class', buttonClass+' hover' ); };
  114.             button.onmouseleave = function() { button.setAttribute( 'class', buttonClass ); };
  115.             
  116.             // frischen Link erzeugen
  117.             link = document.createElement( 'a' );
  118.             link.setAttribute( 'class', 'video-download' );
  119.             link.target = '_blank';
  120.             
  121.             // neuen Button verlinken und den anderen Buttons voranstellen
  122.             link.appendChild( button );
  123.             controlBar.insertBefore( link, controlBar.childNodes[0] );
  124.         }
  125.         
  126.         // URL setzen
  127.         link.href = url;
  128.     }
  129.     
  130.     // letzte Video-URL merken
  131.     var lastURL = '';
  132.     
  133.     // Button hinzufügen oder erneuern
  134.     function manageButton()
  135.     {
  136.         // aktuelle Video-URL suchen
  137.         var newURL = findVideoURL();
  138.         
  139.         // URL vorhanden und geändert?
  140.         if ( newURL && newURL != lastURL )
  141.         {
  142.             // Entwicklerinformation
  143.             console.log( "[ARD Mediathek Download] Stream-URL:", newURL );
  144.             
  145.             // Download-Button hinzufügen oder aktualisieren
  146.             setupDownloadButton( newURL );
  147.             
  148.             // neue URL merken
  149.             lastURL = newURL;
  150.         }
  151.     }
  152.     
  153.     // regelmäßig DOM prüfen; ein neuer Player kann jederzeit geladen werden
  154.     setInterval( manageButton, 1000 );
  155.     
  156. })();