From c173e4943ca8a31f1ae3456367cfcbb0e815d225 Mon Sep 17 00:00:00 2001
From: real_nowhereman <real_nowhereman@aa359531-4221-0410-9edc-b0b45c38dadb>
Date: Wed, 1 Sep 2010 06:35:44 +0000
Subject: [PATCH] the favicon image MUST be named "favicon.ext"! (or IE won't
 show it...)

---
 fp-plugins/favicon/imgs/{fplogo.gif => favicon.gif} | Bin
 fp-plugins/favicon/plugin.favicon.php               |   7 +++++--
 2 files changed, 5 insertions(+), 2 deletions(-)
 rename fp-plugins/favicon/imgs/{fplogo.gif => favicon.gif} (100%)

diff --git a/fp-plugins/favicon/imgs/fplogo.gif b/fp-plugins/favicon/imgs/favicon.gif
similarity index 100%
rename from fp-plugins/favicon/imgs/fplogo.gif
rename to fp-plugins/favicon/imgs/favicon.gif
diff --git a/fp-plugins/favicon/plugin.favicon.php b/fp-plugins/favicon/plugin.favicon.php
index 7d71d9a..abc5274 100755
--- a/fp-plugins/favicon/plugin.favicon.php
+++ b/fp-plugins/favicon/plugin.favicon.php
@@ -9,9 +9,12 @@ Author URI: http://www.nowhereland.it/
 */ 
  
 function plugin_favicon_head() {
-	echo '<link rel="shortcut icon" href="' .  plugin_geturl('favicon') .'imgs/fplogo.gif" />';
+	// your file *must* be named favicon.ext, 
+	// where ext is an image extension (such as gif, png, ico...)
+	echo '<link rel="shortcut icon" href="' .  
+		plugin_geturl('favicon') .'imgs/favicon.gif" />';
 }
  
 add_action('wp_head', 'plugin_favicon_head');
  
-?>
\ No newline at end of file
+?>