1
0
mirror of https://github.com/php/web-php.git synced 2026-03-30 19:22:17 +02:00

only print the view source link, if we know what page we are displaying (inspired by a different patch from Toni Viemero)

This commit is contained in:
Gabor Hojtsy
2004-10-11 12:49:40 +00:00
parent 47755e2f2c
commit f0aba562d6

View File

@@ -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> |