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