Beispiel #1
0
<?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"