| <?php | |
| # Set the theme for your project's web pages. | |
| # See the Committer Tools "How Do I" for list of themes | |
| # https://dev.eclipse.org/committers/ | |
| $theme = "Phoenix"; | |
| $Nav->addNavSeparator("Links", ""); | |
| $Nav->addCustomNav("Proposals", "/proposals/", "_self", 1); | |
| $Nav->addCustomNav("Research", "/technology/research.php", "_self", 1); | |
| ?> |