\n" .
"" .
" Enter a page name\n" .
"
\n" .
"\n";
}
else {
$table = "
\n";
while (list($key, $val) = each($pagehash)) {
if ($key > 0 || !$key) #key is an array index
continue;
if ((gettype($val) == "array") && ($showpagesource == "on")) {
$val = implode($val, "$FieldSeparator#BR#$FieldSeparator\n");
$val = htmlspecialchars($val);
$val = str_replace("$FieldSeparator#BR#$FieldSeparator", "
", $val);
}
elseif (($key == 'lastmodified') || ($key == 'created'))
$val = date($datetimeformat, $val);
else
$val = htmlspecialchars($val);
$table .= "$key | $val |
\n";
}
$table .= "
";
}
return $table;
}
$html .= "Current version
";
// $dbi = OpenDataBase($WikiPageStore); --- done by index.php3
$html .= ViewPageProps($info, $WikiPageStore);
$html .= "Archived version
";
// $dbi = OpenDataBase($ArchivePageStore);
$html .= ViewPageProps($info, $ArchivePageStore);
GeneratePage('MESSAGE', $html, "PageInfo: '$info'", 0);
?>