$html = $request == $m[1] ? $m[2] : $m[0]; # text or full link
return $m[1] == substr($request, 0, strlen($m[1])) ? "<b>$html</b>" : $html;
}, $nav);
-if (!empty($User)) {
- $nav = preg_replace('{\s*<li class="logout">.*?</li>}', '', $nav);
-}
-else {
- $nav = preg_replace('{\s*<li class="login">.*?</li>}', '', $nav);
-}
print $nav;
print "</header>\n\n";