<?php | |
if ($_SERVER["SERVER_NAME"] != "www.eclipse.org") { | |
header("Location: http://www.eclipse.org/modeling/emf/updates/"); | |
} | |
require_once ("../../includes/buildServer-common.php"); | |
require_once($_SERVER["DOCUMENT_ROOT"] . "/modeling/emf/downloads/extras-emf.php"); | |
require($_SERVER["DOCUMENT_ROOT"] . "/modeling/includes/updates-common.php"); | |
update_manager("EMF", "Eclipse Modeling"); | |
?> |