set $type2 to $type in dumplog()

This commit is contained in:
Uwe Steinmann 2015-08-09 07:25:26 +02:00
parent 51778b92f8
commit 1cf79c6cbe

View File

@ -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;