diff --git a/utils/xmldump.php b/utils/xmldump.php index e9475abcd..f4298e10f 100644 --- a/utils/xmldump.php +++ b/utils/xmldump.php @@ -502,7 +502,7 @@ if($users) { if($substitutes = $user->getSubstitutes()) { echo " \n"; foreach($substitutes as $substitute) { - echo " \n"; + echo " getID()."\" />\n"; } echo " \n"; }