/*
This page is for editing a Wiki page.
It relies on $pagename and $ScriptUrl;
it will set $pagehash["text"].
*/
if ($edit) {
$pagename = $edit;
$banner = "$pagename";
} elseif ($copy) {
$pagename = $copy;
$banner = "Copy of $pagename";
} else {
echo "No page name passed into editpage!
\n";
exit();
}
WikiHeader($pagename);
?>