<?php
// $Id: diff.php,v 1.4 2003/03/07 00:19:13 ralfbecker Exp $

require('parse/main.php');
require('parse/macros.php');
require('parse/html.php');
require(TemplateDir . '/diff.php');
require('lib/diff.php');

// Compute difference between two versions of a page.
function action_diff()
{
  global $pagestore, $page, $ver1, $ver2, $ParseEngine;

  $p1 = $pagestore->page($page);
  $p1->version = $ver1;
  $p2 = $pagestore->page($page);
  $p2->version = $ver2;

  $diff = diff_compute($p1->read(), $p2->read());

  template_diff(array('page'      => $page,
                      'diff_html' => diff_parse($diff),
                      'html'      => parseText($p2->text, $ParseEngine, $page),
                      'editable'  => isEditable($p2->mutable),
                      'timestamp' => $p2->time));
}
?>
