From def25cbd91b3ee6222daa529818d1f35027d0df9 Mon Sep 17 00:00:00 2001
From: Daniel Karbach <daniel.karbach@localhorst.tv>
Date: Thu, 18 Oct 2012 22:48:44 +0200
Subject: [PATCH] list type ID in wiki export

---
 src/loader/TypeDescription.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/loader/TypeDescription.cpp b/src/loader/TypeDescription.cpp
index bcc480c..f7c849b 100644
--- a/src/loader/TypeDescription.cpp
+++ b/src/loader/TypeDescription.cpp
@@ -134,6 +134,8 @@ void TypeDescription::WriteSourceWiki(std::ostream &out) {
 		const TypeDescription &td(Get(GetTypeId(*i)));
 		out << "h3. " << td.TypeName() << endl << endl;
 
+		out << "Type ID: @" << td.TypeId() << "@" << endl << endl;
+
 		if (td.Description()) {
 			out << td.Description() << endl << endl;
 		}
-- 
2.39.2