webmenu.php

  
 <html>
<head><style>ul,li { display:inline; padding: 5px;} body { font-size: 0.8em; }</style></head>
<body>
<ul>

<?
if(!empty($_SERVER["REMOTE_ADDR"])) {
        $menu = array(
                "stats" => "stats.php",
                "show_SourceActivity.php" => "show_SourceActivity.php",
                "show_TargetportActivity.php" => "show_TargetportActivity.php",
                "show_HostnameServiceTypeActivity.php" => "show_HostnameServiceTypeActivity.php",
                "show_MartiansActivity.php" => "show_MartiansActivity.php",
                "show_WrongType.php" => "show_WrongType.php",
		"TopTargetports" => "show_TopTargetports.html",
		"TopSources" => "table_TopSources.html",
                "dropmaps" => "stats.php?c=dropmaps",
                "makemaps" => "stats.php?c=makemaps",
                "phpmyadmin" => "/phpmyadmin",
                "timingReduces" => "timingReduces.php"
        );
        foreach($menu as $key => $val) {
                printf('<li><a href="%s" target="content">%s</a></li>',$val, $key);
        }
}
?>
<li>size [T/F]:
        <? include('db.php');?>
	TODO
</li>

</ul>
</body>
</html>