web/request.py
changeset 8974 c8520188eb4b
parent 8941 7b26fe71404f
child 9022 a1cee6915ea3
child 9138 bc6e25dbfd04
equal deleted inserted replaced
8973:6711f78c18be 8974:c8520188eb4b
   973         return False
   973         return False
   974 
   974 
   975     def html_content_type(self):
   975     def html_content_type(self):
   976         return 'text/html'
   976         return 'text/html'
   977 
   977 
   978     def document_surrounding_div(self):
       
   979         return u'<div>'
       
   980 
       
   981     @deprecated('[3.9] use req.uiprops[rid]')
   978     @deprecated('[3.9] use req.uiprops[rid]')
   982     def external_resource(self, rid, default=_MARKER):
   979     def external_resource(self, rid, default=_MARKER):
   983         """return a path to an external resource, using its identifier
   980         """return a path to an external resource, using its identifier
   984 
   981 
   985         raise `KeyError` if the resource is not defined
   982         raise `KeyError` if the resource is not defined