--- a/src/tools/xml_tools.py	Wed Jan 13 13:08:31 2016 +0100
+++ b/src/tools/xml_tools.py	Wed Jan 13 13:11:20 2016 +0100
@@ -1355,21 +1355,6 @@
         return self.result.firstChildElement()
 
 
-def decapsulateDomishContent(elt):
-    """Return the inner content of a domish.Element.
-
-    @param elt (domish.Element)
-    @return unicode
-    """
-    result = ''
-    for child in elt.children:
-        try:
-            result += child.toXml()  # child id a domish.Element
-        except AttributeError:
-            result += child  # child is unicode
-    return result
-
-
 # FIXME: this method is duplicated from frontends.tools.xmlui.getText
 def getText(node):
     """Get child text nodes of a domish.Element.