web/request.py
changeset 8974 c8520188eb4b
parent 8941 7b26fe71404f
child 9022 a1cee6915ea3
child 9138 bc6e25dbfd04
--- a/web/request.py	Mon May 06 17:13:43 2013 +0200
+++ b/web/request.py	Mon May 06 15:58:52 2013 +0200
@@ -975,9 +975,6 @@
     def html_content_type(self):
         return 'text/html'
 
-    def document_surrounding_div(self):
-        return u'<div>'
-
     @deprecated('[3.9] use req.uiprops[rid]')
     def external_resource(self, rid, default=_MARKER):
         """return a path to an external resource, using its identifier