'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();
if (file_exists('pages/tools/'.$vars['tool'].'.inc.php')) {
include 'pages/tools/'.$vars['tool'].'.inc.php';
} else {
echo report_this('Unknown tool type '.$vars['tool']);
}