<?php
/**
 * Copyright (c) 2014, 2018 Eclipse Foundation and others.
 *
 * This program and the accompanying materials are made
 * available under the terms of the Eclipse Public License 2.0
 * which is available at https://www.eclipse.org/legal/epl-2.0/
 *
 * Contributors:
 * Chris Aniszczyk - Initial implementation
 * Eric Poirier (Eclipse Foundation)
 *
 * SPDX-License-Identifier: EPL-2.0
 */

require_once ($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/nav.class.php");

$App->Promotion = TRUE;

$Nav = new Nav();
$Nav->addNavSeparator("Mars", null);
$Nav->addCustomNav("Project List", "/projects/releases/releases.php?release=mars", "_self", 2);
$Nav->addCustomNav("Project Descriptions", "/projects/releases/descriptions.php?release=mars", "_self", 2);
$Theme->setNav($Nav);