remove unused code

This patch removes some commented code fragments and alternative
snippet generators

darcs-hash:20061008090624-7ad00-14bfee2ded6c6c8ef43ad02a4c02a5d95ee9daf7.gz

1 files changed, 0 insertions, 6 deletions

diff --git a/lib/exe/js.php b/lib/exe/js.php
index e01ab7bf5..6df8abccd 100644
--- a/lib/exe/js.php
+++ b/lib/exe/js.php
@@ -145,12 +145,6 @@ function js_out(){
     js_runonstart('scrollToMarker()');
     js_runonstart('focusMarker()');
 
-/*    // initialize init pseudo event
-    echo 'if (document.addEventListener) {'.NL;
-    echo '    document.addEventListener("DOMContentLoaded", window.fireoninit, null);'.NL;
-    echo '}'.NL;
-    echo 'addEvent(window,"load",window.fireoninit);'.NL;*/
-
     // end output buffering and get contents
     $js = ob_get_contents();
     ob_end_clean();