sitename;
} else if (empty($vars['config']->sitename)) {
$title = $vars['title'];
} else {
$title = $vars['config']->sitename . ": " . $vars['title'];
}
global $autofeed;
if (isset($autofeed) && $autofeed == true) {
$url = $url2 = full_url();
if (substr_count($url,'?')) {
$url .= "&view=rss";
} else {
$url .= "?view=rss";
}
$feedref = <<
END;
} else {
$feedref = "";
}
// we won't trust server configuration but specify utf-8
header('Content-type: text/html; charset=utf-8');
$version = get_version();
$release = get_version(true);
?>
<?php echo $title; ?>