diff --git a/bin/tools/misc.py b/bin/tools/misc.py
index 44d7a6cc376..4c80ed58f33 100644
--- a/bin/tools/misc.py
+++ b/bin/tools/misc.py
@@ -490,6 +490,9 @@ class cache(object):
 			return result
 		return cached_result
 
+def to_xml(s):
+	return s.replace('&','&amp;').replace('<','&lt;').replace('>','&gt;')
+
 def get_languages():
 	languages={
 		'zh_CN': 'Chinese (CN)',