From e1f8a1abbb4d2be8af63de12923217c8b8265adc Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Thu, 6 Aug 2015 17:55:42 +0200
Subject: [PATCH] export user substitutes

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

diff --git a/utils/xmldump.php b/utils/xmldump.php
index 1ad732e9a..71302ddeb 100644
--- a/utils/xmldump.php
+++ b/utils/xmldump.php
@@ -487,6 +487,13 @@ if($users) {
 			}
 			echo "  </mandatory_approvers>\n";
 		}
+		if($substitutes = $user->getSubstitutes()) {
+			echo "  <substitutes>\n";
+			foreach($substitutes as $substitute) {
+				echo "   <substitute user=\"".$substitute['substitute']."\" />\n";
+			}
+			echo "  </substitutes>\n";
+		}
 		echo " </user>\n";
 	}
 	echo "</users>\n";