$user_id = htmlspecialchars($user['id']);
$user_gid = htmlspecialchars($user['gid']);
$user_name = htmlspecialchars($user['name']);
$user_id = htmlspecialchars($user['id']);
$user_gid = htmlspecialchars($user['gid']);
$user_name = htmlspecialchars($user['name']);
//$title = T($title); //TODO
$html = $this->head("SōkoMan$title");
$html .= <<<EOF
<h1 style="display: inline;"><a href="$script/">SōkoMan</a><small>$instance$title</small></h1>
//$title = T($title); //TODO
$html = $this->head("SōkoMan$title");
$html .= <<<EOF
<h1 style="display: inline;"><a href="$script/">SōkoMan</a><small>$instance$title</small></h1>