enabled) {
__("This page is restricted to authorized staff");
exit();
}
?>
list_db_servers();
echo "";
__("Here the list of the available databases servers.");
echo "
";
?>
";
__("To add a database server, do an INSERT into the db_servers table");
echo "";
include_once('foot.php');
?>