change feed cache file extension

11 years ago · 865a3ed6a0
parent 8a95d630a9
commit 865a3ed6a0
1 changed files with 1 additions and 1 deletions
--- 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;