blob: e111ab1ee210fa578e0929ba873f5c4512523c3e [file] [log] [blame]
<?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());
#
# Begin: page-specific settings. Change these.
$pageTitle = "Henshin - Committers";
$pageKeywords = "EMF, Henshin, model transformation, installation";
$pageAuthor = "Christian Krause";
# Add page-specific Nav bars here
# Format is Link text, link URL (can be http://www.someothersite.com/), target (_self, _blank), level (1, 2 or 3)
# $Nav->addNavSeparator("My Page Links", "downloads.php");
# $Nav->addCustomNav("My Link", "mypage.php", "_self", 3);
# $Nav->addCustomNav("Google", "http://www.google.com/", "_blank", 3);
# End: page-specific settings
#
# Paste your HTML content between the EOHTML markers!
$html = <<<EOHTML
<div id="maincontent">
<div id="midcolumn">
<h1>$pageTitle</h1>
<br />
<p><strong>Active committers</strong>
<ul>
<li><a href="https://www.informatik.hu-berlin.de/de/org/mitarbeiter/1689904">Timo Kehrer</a></li>
<li><a href="https://rubyfi.de/">Stefan Schulz</a></li>
<li><a href="https://www.danielstrueber.de">Daniel Str&uuml;ber</a> (project lead)</li>
<li><a href="https://www.uni-ulm.de/in/pm/mitarbeiter/tichy.html">Matthias Tichy</a></li>
</ul>
</p>
<p><strong>Past committers</strong>
<ul>
<li>Gregor Bonifer</li>
<li><a href="https://www.uni-marburg.de/fb12/arbeitsgruppen/swt/kristopher-born">Kristopher Born</a></li>
<li><a href="http://www.frankhermann.eu/">Frank Hermann</a></li>
<li><a href="http://www.ckrause.org">Christian Krause</a></li>
<li>Stefan Jurack</a> (<a href="https://eclipse.org/projects/committers-emeritus.php">committer emeritus</a>)</li>
<li>Felix Rieger</li>
<ul>
</p>
</div>
</div>
EOHTML;
# Generate the web page
$App->generatePage($theme, $Menu, $Nav, $pageAuthor, $pageKeywords, $pageTitle, $html);
?>