wiki_editpage.php3

   1 <?
   2
   3 /*
   4    This page is for editing a Wiki page.
   5    It relies on $pagename and $ScriptUrl;
   6    it will set $pagehash["text"].
   7 */
   8
   9    if ($edit) {
  10       $pagename = $edit;
  11       $banner = "$pagename";
  12    } elseif ($copy) {
  13       $pagename = $copy;
  14       $banner = "Copy of $pagename";
  15    } else {
  16       echo "No page name passed into editpage!<br>\n";
  17       exit();
  18    }
  19
  20    WikiHeader($pagename);
  21 ?>
  22
  23 <form method="POST" action="<? echo "$ScriptUrl"; ?>">
  24 <h1><? echo $banner, " "; ?>
  25 <input type="submit" value=" Save ">
  26 </h1>
  27
  28 <textarea name="text" ROWS="22" COLS="80" wrap="virtual"><?
  29    $pagehash = RetrievePage($dbi, $pagename);
  30    if (is_array($pagehash)) {
  31       echo implode($pagehash["text"], "\n");
  32       if (($pagehash["version"] > 1) &&
  33           ($pagehash["author"] != $remoteuser)) {
  34          $lastcopy = $pagename;
  35       } else {
  36          $lastcopy = false;
  37       }
  38    } else {
  39       echo "Describe $pagename here.";
  40       $lastcopy = false;
  41    }
  42 ?></textarea>
  43 <br>
  44
  45 <input type="checkbox" name="convert" value="tabs" >
  46 I can't type tabs.   Please
  47 <a href="<? echo "$ScriptUrl"; ?>?ConvertSpacesToTabs">ConvertSpacesToTabs</a>
  48 for me when I save.
  49
  50 <p>
  51
  52 <a href="<? echo "$ScriptUrl"; ?>?GoodStyle">GoodStyle</a>
  53 tips for editing.
  54
  55 <br>
  56
  57 <a href="<? echo "$ScriptUrl"; ?>?links=<? echo $pagename; ?>">EditLinks</a>
  58 to other web servers.
  59
  60 <br>
  61
  62 <?
  63    if ($lastcopy) {
  64       echo "<a href='$ScriptUrl?copy=$lastcopy'>EditCopy</a>";
  65       echo " from previous author";
  66    }
  67
  68 ?>
  69 <input type="hidden" size=1 name="post" value="<? echo $pagename; ?>">
  70
  71 </form>
  72
  73 <? WikiFooter(); ?>