\n");
else
$html = "Created directory '$directory' for the page dump...
\n";
} else {
$html = "Using directory '$directory'
\n";
}
$numpages = count($pages);
for ($x = 0; $x < $numpages; $x++) {
$pagename = htmlspecialchars($pages[$x]);
$filename = preg_replace('/^\./', '%2e', rawurlencode($pages[$x]));
$html .= "
$pagename ... ";
if($pagename != $filename)
$html .= "saved as $filename ... ";
$data = serialize(RetrievePage($dbi, $pages[$x], $WikiPageStore));
if ($fd = fopen("$directory/$filename", "w")) {
$num = fwrite($fd, $data, strlen($data));
$html .= "$num bytes written\n";
} else {
ExitWiki("couldn't open file '$directory/$filename' for writing\n");
}
}
$html .= "Dump complete.";
GeneratePage('MESSAGE', $html, 'Dump serialized pages', 0);
ExitWiki('');
?>