\n"; ob_start(); include './menu.html'; $nav = ob_get_clean(); $nav = preg_replace_callback('{(.*?)}', function ($m) { $request = $_SERVER['REQUEST_URI']; $html = $request == $m[1] ? $m[2] : $m[0]; # text or full link return $m[1] == substr($request, 0, strlen($m[1])) ? "$html" : $html; }, $nav); if (isset($User)) { $nav = preg_replace('{\s*