ARD Mediathek Download

Erweitert den Video-Player um einen Download-Button.

这些是此脚本的所有版本。 只显示代码变更过的版本。