CLEANUP: moved javascript to separate file

[e-DoKo.git] / include / output.php
diff --git a/include/output.php b/include/output.php

index f26ab1b9d76cc8f5c892dfaacf10c42e1e8639e5..17bd9e26fdb8c5502649ac0cce5d527edc83bd2d 100644 (file)
--- a/include/output.php
+++ b/include/output.php
@@ -271,43 +271,7 @@ function output_header()
       <meta content="text/html; charset=ISO-8859-1" http-equiv="content-type" />
       <link rel="shortcut icon" type="image/x-icon" href="pics/edoko-favicon.png" />
       <link rel="stylesheet" type="text/css" href="css/standard014.css" />
-     <script type="text/javascript">
-       var current=0;
-       function hl(num) {
-         if(document.getElementById){
-          var i;
-          for(i=0;i<14;i++){
-            if(document.getElementById("trick"+i))
-              document.getElementById("trick"+i).style.display = 'none';
-          }
-          document.getElementById("trick"+num).style.display = 'block';
-          current=num;
-        }
-       }
-       function high_last(){
-        if(document.getElementById){
-          var i;
-          for(i=13;i>=0;i--) {
-            if(document.getElementById("trick"+i))
-              {
-                hl(i);
-                current=i;
-                break;
-              }
-          }
-        }
-       }
-       function hl_next()
-        {
-          if(document.getElementById("trick"+(current+1)))
-            hl(current+1);
-        }
-       function hl_prev()
-        {
-          if(document.getElementById("trick"+(current-1)))
-            hl(current-1);
-        }
-     </script>
+     <script type="text/javascript" src="include/game.js"> </script>
    </head>
  <body onload="high_last();">
  <div class="header">
@@ -437,9 +401,6 @@ function output_password_recovery($email,$password)
  
  function output_user_notes($userid,$gameid,$userstatus)
  {
-  /* make sure to only show these if the person is logged in */
-  if(!isset($_SESSION['id']) || $userid != $_SESSION['id']) return;
-
    echo "<div class=\"notes\"> Personal notes: <br />\n";
    $notes = DB_get_notes_by_userid_and_gameid($userid,$gameid);
    foreach($notes as $note)