diff --git a/utils/xmldump.php b/utils/xmldump.php index e5d21257f..618e8c68d 100644 --- a/utils/xmldump.php +++ b/utils/xmldump.php @@ -1,10 +1,8 @@