tools/index.php

<?php

#*****************************************************************************
#
# index.php
#
# Author: 		Wayne Beaton
# Date:			2010-06-07
#
# Description: Project Tools Landing Page
#
#****************************************************************************

require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/app.class.php");	
require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/nav.class.php"); 	
require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/menu.class.php"); 	
$App 	= new App();
$Nav	= new Nav();
$Menu 	= new Menu();
include($App->getProjectCommon());  
#
# Begin: page-specific settings.  Change these.
$pageTitle 		= "Eclipse Project Tools";
$pageKeywords	= "";
$pageAuthor		= "Wayne Beaton";

ob_start();
?>
<div id="maincontent">
<div id="midcolumn">
<h1><?= $pageTitle ?></h1>

<p>This area contains some tools for Eclipse committers. Note that you have to be
logged in as a committer (using your Bugzilla credentials) in order to use these tools.</p>

</div>
</div>

<?php
$html = ob_get_contents();
ob_end_clean();
$App->generatePage($theme, $Menu, $Nav, $pageAuthor, $pageKeywords, $pageTitle, $html);
?>