Small javascript for fetching all files in a document.

fetch.js

var re = new RegExp("download|subtitle.*srt|class_resources|slides")
for (var i in document.links)
{
    var link = document.links[i].href;
    if (re.test(link)) {
        window.open(link);
    }
}