<?php

$Nav->setLinkList(null);

$pageAuthor = isset($pageAuthor) ? $pageAuthor : "";
$pageKeywords = isset($pageKeywords) ? $pageKeywords : "";

if (isset ($_GET["skin"]) && preg_match("/^(Blue|EclipseStandard|Industrial|Lazarus|Miasma|Modern|OldStyle|Phoenix|PhoenixTest|PlainText)$/", $_GET["skin"], $regs))
{
	$theme = $regs[1];
}
else
{
	$theme = "Lazarus";
}

$Nav->addCustomNav("About This Project", "/projects/project_summary.php?projectid=technology.dash", "", 1);
$Nav->addCustomNav("Wiki", "http://wiki.eclipse.org/Dash_Project", "", 1);
$Nav->addCustomNav("Plan", "http://www.eclipse.org/projects/project-plan.php?projectid=technology.dash", "", 1);

?>