'Oxidized Config Checker',
);
print_optionbar_start('', '');
echo 'Tools » ';
unset($sep);
foreach ($sections as $type => $texttype) {
echo $sep;
if ($vars['search'] == $type) {
echo "';
}
$sep = ' | ';
}
unset($sep);
print_optionbar_end();
$tools_type = basename($vars['tool']);
if (file_exists("includes/html/pages/tools/$tools_type.inc.php")) {
include "includes/html/pages/tools/$tools_type.inc.php";
} else {
echo report_this("Unknown tool type $tools_type");
}