Select Git revision
webmenu.php 1.12 KiB
<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>