present png star images for non-IE browsers

3 files changed, 20 insertions, 4 deletions

diff --git a/functions.php b/functions.php
index 56b4a3c9a..3a7b4bf14 100644
--- a/functions.php
+++ b/functions.php
@@ -3545,8 +3545,16 @@
 
 		if ($num_starred > 0) $class .= "Unread";
 
+		$is_ie = (strpos($_SESSION["client.userAgent"], "MSIE") !== false);
+
+		if ($is_ie) {
+			$mark_img_ext = "gif";
+		} else {
+			$mark_img_ext = "png";
+		}
+
 		printFeedEntry(-1, $class, __("Starred articles"), $num_starred, 
-			"images/mark_set.gif", $link);
+			"images/mark_set.$mark_img_ext", $link);
 
 		$class = "virt";
 
@@ -4251,13 +4259,21 @@
 				} else {
 					$is_unread = false;
 				}
-	
+
+				$is_ie = (strpos($_SESSION["client.userAgent"], "MSIE") !== false);
+
+				if ($is_ie) {
+					$mark_img_ext = "gif";
+				} else {
+					$mark_img_ext = "png";
+				}
+
 				if ($line["marked"] == "t" || $line["marked"] == "1") {
-					$marked_pic = "<img id=\"FMPIC-$id\" src=\"images/mark_set.gif\" 
+					$marked_pic = "<img id=\"FMPIC-$id\" src=\"images/mark_set.$mark_img_ext\" 
 						class=\"markedPic\"
 						alt=\"Unstar article\" onclick='javascript:tMark($id)'>";
 				} else {
-					$marked_pic = "<img id=\"FMPIC-$id\" src=\"images/mark_unset.gif\" 
+					$marked_pic = "<img id=\"FMPIC-$id\" src=\"images/mark_unset.$mark_img_ext\" 
 						class=\"markedPic\"
 						alt=\"Star article\" onclick='javascript:tMark($id)'>";
 				}
diff --git a/images/mark_set.png b/images/mark_set.png
new file mode 100644
index 000000000..b35655c85
--- /dev/null
+++ b/images/mark_set.png
diff --git a/images/mark_unset.png b/images/mark_unset.png
new file mode 100644
index 000000000..bf9059a32
--- /dev/null
+++ b/images/mark_unset.png