This is a better name to show that we are dealing with the destination
element where the Direct Download Link is going.
Signed-off-by: Antonio Ospite <ospite@studenti.unina.it>
var site = e.site;
var URL = e.URL;;
- var links = document.getElementById(site.linkDest);
- if (!links) {
+ var destination = document.getElementById(site.linkDest);
+ if (!destination) {
DDL_log('DirectDl (' + site.pageURL + '): Cannot add the direct download link.');
return;
}
style += ' padding: .5em; margin: 1em;'
download_link.setAttribute('style', style);
- links.insertBefore(download_link, links.firstChild);
+ destination.insertBefore(download_link, destination.firstChild);
}
function DDL_log(message) {