Decode HTML entities in the target URL
authorAntonio Ospite <ospite@studenti.unina.it>
Sat, 1 Sep 2012 10:50:33 +0000 (12:50 +0200)
committerAntonio Ospite <ospite@studenti.unina.it>
Sat, 1 Sep 2012 10:50:33 +0000 (12:50 +0200)
Signed-off-by: Antonio Ospite <ospite@studenti.unina.it>
direct_download_links.user.js

index 37bca00..11932f8 100644 (file)
@@ -138,6 +138,13 @@ function getElementByXPath(query, root) {
   return document.evaluate(query, root || document, null, XPathResult.ANY_UNORDERED_NODE_TYPE, null).singleNodeValue;
 }
 
+/* from http://stackoverflow.com/questions/1912501 */
+function htmlDecode(input){
+  var e = document.createElement('div');
+  e.innerHTML = input;
+  return e.childNodes.length === 0 ? "" : e.childNodes[0].nodeValue;
+}
+
 /**
  * Add a Direct Download link on the page for the specified URL
  *
@@ -198,7 +205,7 @@ function _get_URL(site, element) {
   var evt = document.createEvent('Event');
   evt.initEvent('UrlFetched', true, true);
   evt.site = site;
-  evt.URL = URL;
+  evt.URL = htmlDecode(URL);
   document.dispatchEvent(evt);
 }