--- doku.php.orig	2007-01-31 15:57:50.000000000 +0100
+++ doku.php	2007-01-30 18:31:57.000000000 +0100
@@ -22,6 +22,7 @@
   $ID    = getID();
   $NS    = getNS($ID);
   $REV   = $_REQUEST['rev'];
+  $REV2  = $_REQUEST['rev2'];
   $ACT   = $_REQUEST['do'];
   $IDX   = $_REQUEST['idx'];
   $DATE  = $_REQUEST['date'];