<?php

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