');
} else {
echo('
');
}
echo(" " . $type_text[$type] ."\n");
if ($_GET['opta'] == $type) { echo(""); }
$sep = " | ";
}
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) {
if($type != "overview") {
$graph_title = $type_text[$type];
$graph_type = "device_".$type;
include ("includes/print-device-graph.php");
}
}
}
?>