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.
It currently doesn't work under GreaseMonkey 4.0+, use an older version, or use ViolentMonkey or TamperMonkey instead for now.