dead code

js/functions.js

@@ -1676,17 +1676,3 @@ $(document).ready(function(){
     });
 });
 
-/**
- *  Used for replication support
- *
- * @version $Id$
- */
-
-function divShowHideFunc(ahref, id) {
-    $(ahref).addEvent('click', function() {
-        if ($(id).getStyle('display')=="none")
-            $(id).tween('display', 'block');
-        else
-            $(id).tween('display', 'none');
-    });
-}