remove remove_splash()

diff --git a/js/functions.js b/js/functions.js
index 6a895fc50ad08719fce96ee73a4dc805982c35c6..25aa26d39201a576df175a472709ba5b1774f66b 100755 (executable)
--- a/js/functions.js
+++ b/js/functions.js
@@ -478,14 +478,10 @@ function loading_set_progress(p) {
                dijit.byId("loading_bar").update({progress: loading_progress});
 
        if (loading_progress >= 90)
-               remove_splash();
+               Element.hide("overlay");
 
 }
 
-function remove_splash() {
-       Element.hide("overlay");
-}
-
 function strip_tags(s) {
        return s.replace(/<\/?[^>]+(>|$)/g, "");
 }