function format($changes)
{
// include_once('lib/RssWriter.php');
$rss = new RssWriter091();
$rss->channel($this->channel_properties());
if ($props = $this->image_properties()) {
$rss->image($props);
}
if ($props = $this->textinput_properties()) {
$rss->textinput($props);
}
while ($rev = $changes->next()) {
$rss->addItem($this->item_properties($rev), $this->pageURI($rev));
}
global $request;
$request->discardOutput();
$rss->finish();
$request->finish();
// NORETURN!!!!
}
function format($changes)
{
// include_once('lib/RssWriter.php');
$rss = new RssWriter091();
$rss->channel($this->channel_properties());
if ($props = $this->image_properties()) {
$rss->image($props);
}
if ($props = $this->textinput_properties()) {
$rss->textinput($props);
}
while ($rev = $changes->next()) {
$rss->addItem($this->item_properties($rev), $this->pageURI($rev));
}
global $request;
$request->discardOutput();
$rss->finish();
printf("\n<!-- Generated by PhpWiki:\n%s-->\n", $GLOBALS['RCS_IDS']);
$request->finish();
// NORETURN!!!!
}