piazza file path generator

piazza_DL_paste2console.js

file_links = [];
file_names = [];

results = document.getElementsByClassName("mw-100");

$.each(results, function(index, element){
    
    current_element = $(element);
    file_links.push( current_element.prop("href") );
    file_names.push( current_element.text() );
});

file_links_output = file_links.join("\n");
file_names_output = file_names.join("\n");

console.log(file_links_output);
console.log(file_names_output);