php/archived-web-php
1
0
Fork 0
mirror of https://github.com/php/web-php.git synced 2026-03-30 11:12:09 +02:00
Code Issues Packages Projects Releases Wiki Activity

Only put up links to translations if they exist. And don't display

Browse Source 
flag for current page.
This commit is contained in:
Rasmus Lerdorf
2000-08-07 22:56:38 +00:00
parent 70f4fa323b
commit decfc6b76a
1 changed files with 7 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
include/shared-manual.inc
View File

@@ -49,7 +49,7 @@ function makeBullet($url,$number,$offtype,$offnum) {
function makeBorderTOC($this)
{
global $NEXT, $PREV, $UP, $HOME, $TOC, $FONTFACEATTR, $PHP_SELF;
global $NEXT, $PREV, $UP, $HOME, $TOC, $FONTFACEATTR, $PHP_SELF, $DOCUMENT_ROOT;
global $HAVE_STYLE, $HAVE_TD_BG;
$tocfontsize = "-1"; // replace with CSS?
@@ -66,13 +66,14 @@ function makeBorderTOC($this)
echo "<B>$UP[1]</B></FONT></A></TD></TR>\n";
$this = eregi_replace("^Manual: *", "", $this);
$cur = substr(dirname($PHP_SELF),-3);
$file = basename($PHP_SELF);
if(substr($file,-5)=='.php3') $file = substr($file,0,-1);
echo "<a href=\"/manual/$file\"><img src=\"/gifs/flag-uk.gif\" valign=bottom height=24 width=45 alt=\"English version of this page\"></a>";
echo "<a href=\"/manual/de/$file\"><img src=\"/gifs/flag-de.gif\" valign=bottom height=24 width=45 alt=\"German version of this page\"></a>";
echo "<a href=\"/manual/ja/$file\"><img src=\"/gifs/flag-jp.gif\" valign=bottom height=24 width=45 alt=\"Japanese version of this page\"></a><br>";
echo "<a href=\"/manual/it/$file\"><img src=\"/gifs/flag-it.gif\" valign=bottom height=24 width=45 alt=\"Italian version of this page\"></a>";
echo "<a href=\"/manual/fr/$file\"><img src=\"/gifs/flag-fr.gif\" valign=bottom height=24 width=45 alt=\"French version of this page\"></a>";
if($cur!='ual') echo "<a href=\"/manual/$file\"><img src=\"/gifs/flag-uk.gif\" valign=bottom height=24 width=45 alt=\"English version of this page\"></a>";
if($cur!='/de' && is_file("$DOCUMENT_ROOT/manual/de/$file")) echo "<a href=\"/manual/de/$file\"><img src=\"/gifs/flag-de.gif\" valign=bottom height=24 width=45 alt=\"German version of this page\"></a>";
if($cur!='/ja' && is_file("$DOCUMENT_ROOT/manual/ja/$file")) echo "<a href=\"/manual/ja/$file\"><img src=\"/gifs/flag-jp.gif\" valign=bottom height=24 width=45 alt=\"Japanese version of this page\"></a>";
if($cur!='/it' && is_file("$DOCUMENT_ROOT/manual/it/$file")) echo "<a href=\"/manual/it/$file\"><img src=\"/gifs/flag-it.gif\" valign=bottom height=24 width=45 alt=\"Italian version of this page\"></a>";
if($cur!='/fr' && is_file("$DOCUMENT_ROOT/manual/fr/$file")) echo "<a href=\"/manual/fr/$file\"><img src=\"/gifs/flag-fr.gif\" valign=bottom height=24 width=45 alt=\"French version of this page\"></a>";
for ($i = 0; $i < count($TOC); $i++) {
list($url, $title) = $TOC[$i];