From 0d32b41e36fffa800991267b637d9344cb88fd2e Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <fox@bah.spb.su>
Date: Fri, 2 Mar 2007 20:16:45 +0100
Subject: interface tweaks, add info/question/exclamation pics

---
 modules/pref-prefs.php | 20 +++++---------------
 1 file changed, 5 insertions(+), 15 deletions(-)

(limited to 'modules/pref-prefs.php')

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"] = "";
-- 
cgit v1.2.3