NEW FEATURE: removed RC1 from header
[e-DoKo.git] / include / output.php
index 723dd548a8fab68ec26b1a2c02b1cd803a1c2738..bbd16af4360565291484c42d6734f585908e578d 100644 (file)
@@ -270,48 +270,12 @@ function output_header()
      <title>e-Doko</title>
      <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>
+     <link rel="stylesheet" type="text/css" href="css/standard016.css" />
+     <script type="text/javascript" src="include/game.js"> </script>
   </head>
 <body onload="high_last();">
 <div class="header">
-<h1> Welcome to E-Doko <sup style="color:#888;">(beta)</sup> </h1>
+<h1> Welcome to E-Doko </h1>
 </div>
 <?php
 
@@ -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)