Function addLink

script/bookmarklets/pr-link-source.js:84–91

(span, link_name, link_href)

  }

  function addLink(span, link_name, link_href) {
    var anchor = document.createElement("A");
    anchor.innerHTML = link_name;
    anchor.href = link_href;
    anchor.target = "_blank";
    span.appendChild(anchor);
    return span;
  }
})();