change sign images to gifs

2007-08-23 15:36:05 +01:00
parent abd8a51639
commit e780d1d252
16 changed files with 337 additions and 277 deletions
--- a/modules/pref-filters.php
+++ b/modules/pref-filters.php
@@ -220,7 +220,7 @@
 		}

 		print "<a class='helpLinkPic' href=\"javascript:displayHelpInfobox(2)\">
-			<img src='images/sign_quest.png'></a>";
+			<img src='images/sign_quest.gif'></a>";

 		print "<input type=\"submit\" 
 			class=\"button\" 
--- a/modules/pref-labels.php
+++ b/modules/pref-labels.php
@@ -206,7 +206,7 @@
 		}

 		print "<a class='helpLinkPic' href=\"javascript:displayHelpInfobox(1)\">
-			<img src='images/sign_quest.png'></a>";
+			<img src='images/sign_quest.gif'></a>";

 		print "<div class=\"prefGenericAddBox\">";