downloads/index.php

<?php  																														
   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());
	
   #*****************************************************************************
   	
	$pageTitle 		= "OSEE - Downloads";
	$pageKeywords	= "OSEE, Open, System, Engineering, Environment, Eclipse, Define, ATS, OTE, Application Framework";
	$pageAuthor		= "Roberto E. Escobar";
	
	$release_prefix = "Milestone Build";
	$release_date = "19 May 2010";
	$release_version      = "0.9.4";
   $external_downloads_site = "http://osee.microdoc.com/node/2";
   $config_args="http://wiki.eclipse.org/OSEE/Developers_Guide#Configuration_Properties";
   
   #*****************************************************************************
	
	$html  = '<div id="midcolumn">';
	$html .= file_get_contents('_index.html');
	$html .= "</div>";
	
	$html = preg_replace('/@RELEASE_PREFIX@/', $release_prefix, $html);
	$html = preg_replace('/@RELEASE_DATE@/', $release_date, $html);
	$html = preg_replace('/@RELEASE_VERSION@/', $release_version, $html);
	$html = preg_replace('/@EXTERNAL_DOWNLOADS_SITE@/', $external_downloads_site, $html);
	$html = preg_replace('/@CONFIG_AND_ARGS@/', $config_args, $html);
	
	# Generate the web page
	$App->generatePage($theme, $Menu, $Nav, $pageAuthor, $pageKeywords, $pageTitle, $html);
?>