global $wiki;
echo "<div class=\"bug\">\n".
" Please hit <strong>shift+reload</strong>.<br /><hr />\n".
- " the table and the names are now always shown. <br /><hr />".
- " If you find more bugs, please list them in the <a href=\"".$wiki.
- "\">wiki</a>.\n</div>\n";
+ " The server now keeps score... (only from now on) <br /><hr />".
+ " If you find more bugs, please list them in the <a href=\"".
+ $wiki."\">wiki</a>.\n</div>\n";
return;
}
function output_header()
{
+ global $REV;
?>
<!DOCTYPE html PUBLIC
"-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN"
<body onload="high_last();">
<div class="header">
<h1> Welcome to E-Doko </h1>
+<p> Revision: <?php echo "$REV"; ?></p>
</div>
<?php