diff options
author | Andrew Dolgov <[email protected]> | 2007-03-02 20:16:45 +0100 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2007-03-02 20:16:45 +0100 |
commit | 0d32b41e36fffa800991267b637d9344cb88fd2e (patch) | |
tree | 645e10ade87573dca2149b18a1c4a3973984c55a /modules/pref-prefs.php | |
parent | b05d782d90348a1c1a4d16b0e39695cbdf663629 (diff) |
interface tweaks, add info/question/exclamation pics
Diffstat (limited to 'modules/pref-prefs.php')
-rw-r--r-- | modules/pref-prefs.php | 20 |
1 files changed, 5 insertions, 15 deletions
diff --git a/modules/pref-prefs.php b/modules/pref-prefs.php index 524ab5a6b..fd796bcc1 100644 --- a/modules/pref-prefs.php +++ b/modules/pref-prefs.php @@ -164,35 +164,25 @@ pwd_hash = 'SHA1:".sha1("password")."')"); if (db_num_rows($result) != 0) { - print "<div class=\"warning\"> - Your password is at default value, please change it. - </div>"; + print format_warning("Your password is at default value, please change it."); } if ($_SESSION["pwd_change_result"] == "failed") { - print "<div class=\"warning\"> - There was an error while changing your password. - </div>"; + print format_warning("Could not change the password."); } if ($_SESSION["pwd_change_result"] == "ok") { - print "<div class=\"notice\"> - Password changed successfully. - </div>"; + print format_notice("Password was changed."); } $_SESSION["pwd_change_result"] = ""; if ($_SESSION["prefs_op_result"] == "reset-to-defaults") { - print "<div class=\"notice\"> - Your configuration was reset to defaults. - </div>"; + print format_notice("The configuration was reset to defaults."); } if ($_SESSION["prefs_op_result"] == "save-config") { - print "<div class=\"notice\"> - Your configuration was saved successfully. - </div>"; + print format_notice("The configuration was saved."); } $_SESSION["prefs_op_result"] = ""; |