<?php
	$seite = $_SERVER["SCRIPT_NAME"];
?>

<ul id="menue">
	<li id="titel2"><b>&nbsp;&nbsp;Hauptmen&uuml;</b></li>
	<li><a<? if ($seite == "index.php"){?> class="aktiv"<?}?> href="index.php">Info</a></li>
	<li><a<? if ($seite == "index.php?content=loaded_plugins"){?> class="aktiv"<?}?> href="/index.php?content=loaded_plugins">Geladene Plugins</a></li>
	<li><a<? if ($seite == "index.php?content=all_plugins"){?> class="aktiv"<?}?> href="index.php?content=all_plugins">Alle Plugins</a></li>
    <li><a<? if ($seite == "index.php?content=plugin_history"){?> class="aktiv"<?}?> href="index.php?content=plugin_history">&nbsp;&nbsp;- Verlauf</a></li>
    <li><a<? if ($seite == "index.php?content=easyinfo"){?> class="aktiv"<?}?> href="index.php?content=easyinfo">easyInfo</a></li>
    <li><a<? if ($seite == "index.php?content=config"){?> class="aktiv"<?}?> href="index.php?content=config">Konfiguration</a></li>
	<li><a target="_blank" href="http://www.easy-vdr.de/forum/index.php">Forum</a></li>
	<li><a target="_blank" href="http://wiki.easy-vdr.de/">easyVDR-Wiki</a></li>
	<li><a<?if ($seite == "index.php?content=links"){?> class="aktiv"<?}?> href="index.php?content=links">Links</a></li>
	<li><a<?if ($seite == "index.php?content=kontakt"){?> class="aktiv"<?}?> href="index.php?content=kontakt">Kontakt</a></li>
</ul>