| <?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"); | |
| ?> |