summaryrefslogtreecommitdiff
path: root/modules/pref-prefs.php
diff options
context:
space:
mode:
authorAndrew Dolgov <[email protected]>2007-03-02 20:16:45 +0100
committerAndrew Dolgov <[email protected]>2007-03-02 20:16:45 +0100
commit0d32b41e36fffa800991267b637d9344cb88fd2e (patch)
tree645e10ade87573dca2149b18a1c4a3973984c55a /modules/pref-prefs.php
parentb05d782d90348a1c1a4d16b0e39695cbdf663629 (diff)
interface tweaks, add info/question/exclamation pics
Diffstat (limited to 'modules/pref-prefs.php')
-rw-r--r--modules/pref-prefs.php20
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"] = "";