blob: b07a6cb42e34c25dc8fe3da2d9f3de637cd5f32c [file] [log] [blame]
<?php
if ($_SERVER["SERVER_NAME"] != "www.eclipse.org") {
header("Location: http://www.eclipse.org/modeling/mdt/updates/");
}
require_once ("../../includes/buildServer-common.php");
require($_SERVER["DOCUMENT_ROOT"] . "/modeling/includes/updates-common.php");
$PRS = array(
"EMF (XSD)" => "modeling/emf"
);
function notes()
{
print "<p><i style=\"color:red\"><b>NOTE:</b> For XSD, use the <a href=\"/modeling/emf/updates/\">EMF Update Site</a>.</i></p>\n";
print "<p><i>For MoDisco, use the <a href=\"http://wiki.eclipse.org/MoDisco/Updates\">MoDisco Update Site</a>.</i></p>\n";
}
update_manager("MDT", "Eclipse Modeling", $PRS, true);
?>