change feed cache file extension

diff --git a/include/rssfuncs.php b/include/rssfuncs.php
index f342bf7f11a2e7ea81e8c52fc62abf6cb902a3a8..1bbac2843cd9818d3d2674c7c08ec888a5b145fb 100644 (file)
--- a/include/rssfuncs.php
+++ b/include/rssfuncs.php
@@ -243,7 +243,7 @@
 
                $date_feed_processed = date('Y-m-d H:i');
 
-               $cache_filename = CACHE_DIR . "/simplepie/" . sha1($fetch_url) . ".feed2";
+               $cache_filename = CACHE_DIR . "/simplepie/" . sha1($fetch_url) . ".xml";
 
                // Ignore cache if new feed or manual update.
                $cache_age = ($no_cache || is_null($last_updated) || strpos($last_updated, '1970-01-01') === 0) ? 30 : get_feed_update_interval($feed) * 60;