diff options
Diffstat (limited to 'functions.js')
-rw-r--r-- | functions.js | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/functions.js b/functions.js index 1fd421809..c47070ed3 100644 --- a/functions.js +++ b/functions.js @@ -394,16 +394,6 @@ function make_timestamp() { } -function closeErrorBox() { - - if (Element.visible("errorBoxShadow")) { - Element.hide("dialog_overlay"); - Element.hide("errorBoxShadow"); - } - - return false; -} - function closeInfoBox(cleanup) { try { dialog = dijit.byId("infoBox"); |