adds a button to the top-left corner that downloads redgifs videos as mp4.
These are versions of this script where the code was updated. Show all versions.
changed "files" to "media" in the regex because it didnt work anymore sometimes
Changed GM_download to GM_openInTab. Directly downloading the video was having problems on certain platforms. also added some console logs so i can troubleshoot easier.
