<?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(); # All on the same line to unclutter the user's desktop' include "include.php"; $pageTitle = "Integration with EMF and Other EMF Editors"; $html = file_get_contents('210-emf-integration.html'); $Nav->setLinkList(array()); $App->AddExtraHtmlHeader(' <script type="text/javascript"> function init() { var docName = "210-emf-integration.html"; initTocMenu(docName); highlightCurrentSection(docName); } function initTocMenu(ActiveSubTocElementId){ var menu = document.getElementById("leftnav"); var chapters = menu.children; addHideSubsectionFunction(chapters); var subToc = document.getElementById(\'subToc_\' + ActiveSubTocElementId); if(subToc) { subToc.style.display = "block"; subToc.previousElementSibling.children[0].style.display = "none"