remove remove_splash()

1 files changed, 1 insertions, 5 deletions

diff --git a/js/functions.js b/js/functions.js
index 6a895fc50..25aa26d39 100755
--- 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, "");
 }