| 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;
|
| -}
|
| -
|
| })();
|
|
|