".__("The configuration has been modified successfully.")."
";
}
}
if (isset($_GET["error"])) {
if ($_GET["error"]==1) {
echo "".__("Error on the database server: ")."".$_GET["des"]."
";
}
} ?>