blob: 6d040239f9cd06b94b83681c7a7de56215a9b2f6 [file] [log] [blame]
<?php
/* Required eclipse basic classes */
require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/app.class.php");
/* Functions and modules related to Navbar objects */
require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/nav.class.php");
/* Functions and modules related to the page top eclipse menu */
require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/menu.class.php");
$App = new App();
/* Left Navbar */
$Nav = new Nav();
/* Page top eclipse menu */
$Menu = new Menu();
/* Find the _projectCommon.php file and include it */
include($App->getProjectCommon());
#
# Begin: page-specific settings. Change these.
$pageTitle = "Mobile Tools for Java &nbsp; (MTJ) &nbsp; Downloads";
$pageKeywords = "device, mobile, contributor, committer, lead, author, developer, java";
$pageAuthor = "Petri Virtanen";
$handle = fopen("http://download.eclipse.org/mtj/downloads/downloads.func.php", "rb");
while (!feof($handle)) {
$contents .= fread($handle, 8192);
}
fclose($handle);
/* Paste your HTML content between the EOHTML markers! */
$html = <<<EOHTML
<div id="maincontent">
<div id="midcolumn">
<h1>$pageTitle</h1>
<br>
$contents
</div>
</div>
<div id="rightcolumn">
<div class="sideitem">
<h6>Download Server</h6>
<div align="center">
<br>
The latest builds can also be downloaded directly from the <a href="http://download.eclipse.org/mtj/downloads/">download server</a>.
<br><br>
</div>
</div> <!-- sideitem-->
</div> <!-- rightcolumn -->
<script type="text/javascript">var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));</script><script type="text/javascript">try {var pageTracker = _gat._getTracker("UA-9293663-1");pageTracker._trackPageview();} catch(err) {}</script>
EOHTML;
/* Generate the web page */
$App->generatePage($theme, $Menu, $Nav, $pageAuthor, $pageKeywords, $pageTitle, $html);
?>