"); } echo("Main\n"); if(!$_GET['opta']) { echo(""); } foreach ($datas as $type) { if ($_GET['opta'] == $type) { echo(""); } echo(" | " . $type_text[$type] ."\n"); if ($_GET['opta'] == $type) { echo(""); } } print_optionbar_end(); if (is_file("pages/device/health/".mres($_GET['opta']).".inc.php")) { include("pages/device/health/".mres($_GET['opta']).".inc.php"); } else { foreach ($datas as $type) { $graph_title = $type_text[$type]; $graph_type = "device_".$type; include ("includes/print-device-graph.php"); } } ?>