From 1cf79c6cbea5e97b56aaa1c324781847e9aec235 Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Sun, 9 Aug 2015 07:25:26 +0200
Subject: [PATCH] set $type2 to $type in dumplog()

---
 utils/xmldump.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/utils/xmldump.php b/utils/xmldump.php
index 5bbfbf933..d8bf9dee0 100644
--- a/utils/xmldump.php
+++ b/utils/xmldump.php
@@ -116,7 +116,7 @@ function dumplog($version, $type, $logs, $indent) { /* {{{ */
 		$type2 = 'approve';
 		break;
 	default:
-		$type2 = 'review';
+		$type2 = $type;
 	}
 	echo $indent."   <".$type."s>\n";
 	$curid = 0;