Updating download page
diff --git a/downloads/index.php b/downloads/index.php
index f4ec207..fc47794 100644
--- a/downloads/index.php
+++ b/downloads/index.php
@@ -1,4 +1,14 @@
-<?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()); # All on the same line to unclutter the user's desktop'
+<?php
+ $projectTitle = "Intent";
+ $pageTitle = "Intent - Download";
+ // Path to the downloads area under http://downloads.eclipse.org (will be used by custom-scripts and various "eclipse" scripts)
+ $PR = "intent";
+ // absolute path to the site's home page (will be used by custom-scripts for images... should probably use css instead)
+ $websiteRoot = "/intent";
+
+ 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()); # All on the same line to unclutter the user's desktop'
require_once($_SERVER["DOCUMENT_ROOT"] . "/modeling/includes/buildServer-common.php");
require_once($_SERVER["DOCUMENT_ROOT"] . "/modeling/includes/downloads-scripts.php");
require_once($_SERVER["DOCUMENT_ROOT"] . "/modeling/includes/scripts.php");
@@ -10,13 +20,7 @@
$App->AddExtraHtmlHeader('<link rel="stylesheet" type="text/css" href="_styles.css"/>' . "\n\t");
$App->AddExtraHtmlHeader('<script src="/modeling/includes/downloads.js" type="text/javascript"></script>' . "\n\t");
- $projectTitle = "Intent";
- $pageTitle = "Intent - Download";
- // Path to the downloads area under http://downloads.eclipse.org (will be used by custom-scripts and various "eclipse" scripts)
- $PR = "intent";
- // absolute path to the site's home page (will be used by custom-scripts for images... should probably use css instead)
- $websiteRoot = "/intent";
-
+
$PWD = getPWD("downloads/drops");
$branches = loadDirSimple($PWD, ".*", "d");
rsort($branches);