Simple media download script that mainly works by injecting code into various commonly used media libraries. The base code of the libraries is not modified in any way, but code is added on top (as a wrapper), in order to grab the URLs.
So far, it supports:
Raw HTML5 video/audio
Amazing Audio Player
Azure Media Player
Clean HTML Player
If you have any issues, feel free to send an issue on the github page :) Although I have tested this on many websites, there could easily still be issues.
This script used to only run well under gecko-based (e.g. Firefox) browsers, but has now been updated to work better with other browsers.