# HG changeset patch # User Christophe Lincoln # Date 1301499650 -7200 # Node ID b71d2e7bc0c458ad0f02de83539642489b0af495 # Parent 9fe28fd9160ccc2cff0cb73d54ffd472e9b0231c get-feed.php: make home page work even without rss files diff -r 9fe28fd9160c -r b71d2e7bc0c4 libs/get-feed.php --- a/libs/get-feed.php Wed Mar 30 17:27:20 2011 +0200 +++ b/libs/get-feed.php Wed Mar 30 17:40:50 2011 +0200 @@ -1,24 +1,28 @@ channel->item->pubDate); - echo "Updated: " . substr("$up", 5, 17) . "\n"; - echo "

\n
\n\n"; } - ?>