change_pass($user,$newpass,$dir)) { $error=$err->errstr(); } include("head.php"); ?>

$error

"; } else { echo "

".sprintf(_("The password of the user %s has been successfully changed"),$user)."

"; } echo "

"; ?>