| ' .
'lookup: ' .
make_submit('small_submit.gif', 'lookup', 'bottom') .
' |
| ' .
make_link('./', make_image('caret-t.gif', $HOME[1]) . $HOME[1] ) .
' |
| ' .
make_link($UP[0], make_image('caret-u.gif', $UP[1]) . $UP[1] ) .
' |
| ';
for ($i = 0; $i < count($TOC); $i++) {
list($url, $title, $type) = $TOC[$i];
if (!$url || !$title) {
continue;
}
$end = '0.gif';
if ($title == $this) {
$end = '1.gif';
}
switch($type) {
case NAV_CLASSENTRY:
$img = "icon-o".$end;
break;
case NAV_CONSTRUCTOR:
$img = "icon-c".$end;
break;
case NAV_METHOD:
$img = "icon-m".$end;
break;
case NAV_SIGNAL:
$img = "icon-s".$end;
break;
case NAV_ENUM:
$img = "icon-e".$end;
break;
default:
$img = "box-".$end;
}
if ($UP[0] == 'funcref.php') {
$title = eregi_replace(" functions\$", "", $title);
}
$SIDEBAR_DATA .= ' ' .
make_link($url, make_image($img, $title) . $title ) .
' '; } $SIDEBAR_DATA.= ' |
| ';
if ($PREV[1]) {
echo make_link( $PREV[0] , make_image('caret-l.gif', 'previous') . $PREV[1] ) ;
}
echo ' | ';
echo '';
if ($NEXT[1]) {
echo make_link( $NEXT[0] , $NEXT[1] . make_image('caret-r.gif', 'next') ) ;
}
echo ' | ';
echo '
| ';
spacer(1,1);
echo ' | |
| Last updated: '.$tstamp.' '; # if ($loc == 'bottom') { # $back_url = 'http://' . $_SERVER['SERVER_NAME'] . # (($_SERVER['SERVER_PORT']==80) ? '' : ':'.$_SERVER['SERVER_PORT'] ) . # $_SERVER['PHP_SELF']; # } else { global $LANGUAGES; $links = array(); if($LANGUAGES){ foreach($LANGUAGES as $code=>$name) { if (file_exists("../$code/$id")) { $links[] = make_link("../$code/$id", $name); } } } $file = substr($id,0,-4); if (file_exists("html/$file.html")) { $links[] = make_link("html/$file.html", 'Plain HTML'); } if (count($links)) { echo 'view this page in ' . join (delim(), $links); echo ' | |
| ';
$name = htmlspecialchars($row['user']);
if ($name && $name != "php-gtk@lists.php.net" && $name != "user@example.com") {
if (ereg("(.+)@(.+)\.(.+)",$name)) {
echo ''.$name.' '; } else { echo ''.$name.' '; } } echo '' . date("d-M-Y h:i", $row['xwhen']) . ''; echo ' | ';
echo '';
if (isset($MAGIC_COOKIE) && $show_admin) {
print_link('/manual1/admin-notes.php?action=edit+' . $row['id'] . '&brief=1',
make_image('notes-edit.gif', 'edit note')
);
echo ' ';
print_link('/manual1/admin-notes.php?action=reject+' . $row['id'] . '&brief=1&popup=1',
make_image('notes-reject.gif', 'reject note'),
'admin'
);
echo ' ';
print_link('/manual1/admin-notes.php?action=delete+' . $row['id'] . '&brief=1&popup=1',
make_image('notes-delete.gif', 'delete note'),
'admin'
);
}
echo ' '; if ($show_rating) { echo 'rating: '; if ( $row['votes'] > 2 ) { printf('%.01f', $row['rate'] ); } else { echo 'new'; } echo ' | rate: '; for ($i=1; $i<=5; $i++) { if ($i>1) { echo ' | '; } print_link(htmlspecialchars($_SERVER['PHP_SELF']).'?rate_id='.$row['id'].'&rate_note='.$i, $i); } echo ' '; } echo ' |
| ';
echo clean_note($row['note']). ' '; echo ' | |
| User Contributed Notes ' . $title . ' | ';
echo '';
print_link('/manual1/add-note.php?sect='.$id.'&redirect='.$back_url,
make_image('notes-add.gif','add a note')
);
echo " ";
print_link('/manual1/about-notes.php',
make_image('notes-about.gif', 'about notes')
);
echo " | \n";
echo "
| ';
echo 'User contributed notes are not available on this mirror site; try ';
print_link('http://gtk.php.net/manual1/'.$LANG.'/'.$id, 'here');
echo '. | |
| ';
echo 'There are no user contributed notes for this page.';
echo ' | |
| \n";
print_link('/manual1/add-note.php?sect='.$id.'&redirect='.$back_url,
make_image('notes-add.gif','add a note')
);
echo " ";
print_link('/manual1/about-notes.php',
make_image('notes-about.gif', 'about notes')
);
echo " | \n";
echo "|