- echo " | <a href=\"".$INDEX."\"> mypage </a>\n";
- echo " | <a href=\"".$INDEX."?action=prefs\">settings</a>\n";
- echo " | <a href=\"".$INDEX."?action=new\">new game</a>\n";
- echo " | <a href=\"".$INDEX."?action=stats\">statistics</a>\n";
- echo " | <a href=\"".$WIKI."\">wiki/bugs</a>\n";
- echo " | <a href=\"".$RSS."?uid=".$myid."&token=".$token."\">rss</a>\n";
- echo " | <a href=\"".$INDEX."?action=logout\">logout</a>\n";
+ echo " | <a href=\"".$INDEX."\">"._('mypage')."</a>\n";
+ echo " | <a href=\"".$INDEX."?action=prefs\">"._('settings')."</a>\n";
+ echo " | <a href=\"".$INDEX."?action=new\">"._('new game')."</a>\n";
+ echo " | <a href=\"".$INDEX."?action=stats\">"._('statistics')."</a>\n";
+ echo " | <a href=\"".$WIKI."\">"._('wiki/bugs')."</a>\n";
+ echo " | <a href=\"".$RSS."?uid=".$myid."&token=".$token."\">"._('atom')."</a>\n";
+ echo " | <a href=\"".$INDEX."?action=logout\">"._('logout')."</a>\n";