From f0aba562d689844db599d273bcdcf42c2a2ff9ef Mon Sep 17 00:00:00 2001
From: Gabor Hojtsy <goba@php.net>
Date: Mon, 11 Oct 2004 12:49:40 +0000
Subject: [PATCH] only print the view source link, if we know what page we are
 displaying (inspired by a different patch from Toni Viemero)

---
 include/layout.inc | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/include/layout.inc b/include/layout.inc
index 7b67e37a0..e70b6ab1f 100644
--- a/include/layout.inc
+++ b/include/layout.inc
@@ -186,7 +186,10 @@ function site_footer($config = array())
 {
     global $LAST_UPDATED, $PAGE_COLUMNS;
     
-    $stats = (have_stats() ? "\n <a href=\"/stats/\">stats</a> |" : "");
+    $stats         = (have_stats() ? "\n <a href=\"/stats/\">stats</a> |" : "");
+    $viewsource    = (isset($_SERVER['BASE_PAGE']) ?
+        "<a href=\"/source.php?url=/{$_SERVER['BASE_PAGE']}\">show source</a> |" :
+        "");
     $provider_url  = mirror_provider_url();
     $provider_name = mirror_provider();
     $mirror_text   = (is_official_mirror() ?
@@ -203,7 +206,7 @@ function site_footer($config = array())
 {$layout_helper}</div>
 
 <div id="footnav">
- <a href="/source.php?url=/{$_SERVER['BASE_PAGE']}">show source</a> |
+ $viewsource
  <a href="/credits.php">credits</a> |$stats
  <a href="/sitemap.php">sitemap</a> |
  <a href="/contact.php">contact</a> |