wiki_setupwiki.php3

   1 <?
   2
   3    /* Add the very first pages to a wiki */
   4
   5    $page = array();
   6    $page["date"] = GetCurrentDate();
   7
   8
   9    $handle = opendir('./pgsrc');
  10
  11    // load default pages
  12    while ($file = readdir($handle)) {
  13       if (strlen($file) < 4) { continue; }
  14
  15       $page["text"] = file("pgsrc/$file");
  16 /*
  17       for ($x = 0; $page["text"][$x]; $x++) {
  18          if (strlen($page["text"][$x]) > 1) {
  19             $page["text"][$x] = chop($page["text"][$x]);
  20          }
  21       }
  22       reset($page["text"]);
  23 */
  24       InsertPage($dbi, $file, $page);
  25    }
  26    closedir($handle);
  27
  28 ?>