<?php

$Nav->addNavSeparator("Eclipse StatET™", "/statet");
$Nav->addCustomNav("News", "/statet/news", "_self", 3);
$Nav->addCustomNav("Downloads", "/statet/downloads", "_self", 3);
$Nav->addCustomNav("Mailing List: statet-users", "https://accounts.eclipse.org/mailing-list/statet-users", "_self", 3);