blob: 76679022acf3213ae66d1164c6edf243b3ad8326 [file] [log] [blame]
david_williams702bf682008-06-25 04:53:00 +00001<?php
2echo "<?xml version=\"1.0\" encoding=\"ISO-8859-1\" ?> \n" ;
3?>
4<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
5<html xmlns="http://www.w3.org/1999/xhtml">
6
7<head>
8<?php
9include 'pagePropertyVariables.php';
10?>
11
12<link rel="stylesheet" href="http://dev.eclipse.org/default_style.css" />
13<link rel="stylesheet" href="../commonPages/wtpDropStyle.css" />
14<title><?php echo $pageTitle; ?></title>
15</head>
16<body>
17
18
19<?php
20
21// tiny banner to remind when looking at "local" machine results
22$serverName = $_SERVER["SERVER_NAME"];
23
24if (!stristr($serverName, "eclipse.org") && !stristr($serverName,"you.are.at.eclipsecon.org")) {
25 echo '<center>
26 <p>
27 Reminder: this is <font color="#FF0000">' .
28 $serverName .
29 '</font>
30 See also
31 <a href="http://download.eclipse.org/webtools/downloads" target="_top">
32 the live public Eclipse site
33 </a>.
34 </p>
35 <hr />
36 </center>';
37
38}
39
40if (function_exists("date_default_timezone_set")) {
41 date_default_timezone_set("UTC");
42 //echo "<p>default timezone: ";
43 //echo date_default_timezone_get();
44 //echo "</p>";
45}
46
47?>
48
49
50<?php
51ini_set("display_errors", "true");
52error_reporting (E_ALL);
53?>
54
55<?php
56$QString = $_SERVER['QUERY_STRING'];
57$C = strcmp($QString, "test");
58?>
59
60
61<?php
62include 'buildbranches.php';
63include '../commonPages/topAndInit.php';
64include '../commonPages/latestBuilds.php';
65include '../commonPages/recentHistory.php';
66include '../commonPages/bottomAndFooter.php';
67?>
68
69
70</body>
71</html>
72