<?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); |