change sign images to gifs

1 files changed, 3 insertions, 3 deletions

diff --git a/functions.php b/functions.php
index 3a7b4bf14..ce63eae12 100644
--- a/functions.php
+++ b/functions.php
@@ -3904,17 +3904,17 @@
 
 	function format_warning($msg, $id = "") {
 		return "<div class=\"warning\" id=\"$id\"> 
-			<img src=\"images/sign_excl.png\">$msg</div>";
+			<img src=\"images/sign_excl.gif\">$msg</div>";
 	}
 
 	function format_notice($msg) {
 		return "<div class=\"notice\"> 
-			<img src=\"images/sign_info.png\">$msg</div>";
+			<img src=\"images/sign_info.gif\">$msg</div>";
 	}
 
 	function format_error($msg) {
 		return "<div class=\"error\"> 
-			<img src=\"images/sign_excl.png\">$msg</div>";
+			<img src=\"images/sign_excl.gif\">$msg</div>";
 	}
 
 	function print_notice($msg) {