From ac544ef206a193db326cdfd59ed1709112b507b0 Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Thu, 6 Aug 2015 18:16:30 +0200
Subject: [PATCH] add command line to statistic section

---
 utils/xmldump.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/utils/xmldump.php b/utils/xmldump.php
index 79dd9826c..4ad5be69f 100644
--- a/utils/xmldump.php
+++ b/utils/xmldump.php
@@ -548,6 +548,9 @@ if($folder) {
 
 echo "</dms>\n";
 echo "<!--\n";
+echo "Command:\n";
+echo "  ".str_replace('--', '-', implode(" ", $argv))."\n";
+echo "Statistics:\n";
 foreach($statistic as $type=>$count)
 	echo "  ".$type.": ".$count."\n";
 echo "-->\n"