JS snippet to get all the links to files of any extension from a webpage

filegetter.js

var asdf = document.getElementsByTagName("a");
var asdfext = ".pdf";
for(var asdfinc =0 ; asdfinc < asdf.length;asdfinc++){
  if(asdf[asdfinc].href.indexOf(asdfext)!=-1){
    console.log(asdf[asdfinc].href);
  }  
}

replace asdfext with any extension to generate the links in the console. Then use some utility like curl or wget to download it.

function downloadURI(uri, name) {
  var link = document.createElement("a");
  link.download = name;
  link.href = uri;
  document.body.appendChild(link);
  link.click();
  document.body.removeChild(link);
  delete link;
}
var asdf = document.getElementsByTagName("a");
var asdfext = ".pdf";
for(var asdfinc =0 ; asdfinc < asdf.length;asdfinc++){
  if(asdf[asdfinc].href.indexOf(asdfext)!=-1){
    console.log(asdf[asdfinc].href);
    var url = "" + asdf[asdfinc].href;
    var filename = url.split('/').pop()
    downloadURI(asdf[asdfinc].href,filename);
  }  
}