Index: Tools/GardeningServer/scripts/base.js |
diff --git a/Tools/GardeningServer/scripts/base.js b/Tools/GardeningServer/scripts/base.js |
index d80fa5370308618718c81f81334aa00c7814b3d6..e4fdd2ed73c0e89ebde048566272f9bc9ba28336 100644 |
--- a/Tools/GardeningServer/scripts/base.js |
+++ b/Tools/GardeningServer/scripts/base.js |
@@ -323,14 +323,4 @@ base.underscoredBuilderName = function(builderName) |
return builderName.replace(/[ .()]/g, '_'); |
} |
-base.createLinkNode = function(url, textContent, opt_target) |
-{ |
- var link = document.createElement('a'); |
- link.href = url; |
- if (opt_target) |
- link.target = opt_target; |
- link.appendChild(document.createTextNode(textContent)); |
- return link; |
-} |
- |
})(); |