parameters: (string)
return_statement: return '"%s"' % html_escape(string).replace('\n','&#10;')\
                      .replace('\r','&#13;').replace('\t','&#9;')
docstring: Escape and quote a string to be used as an HTTP attribute.
docstring_summary: Escape and quote a string to be used as an HTTP attribute.
docstring_tokens: Escape and quote a string to be used as an HTTP attribute .
function: def html_quote(string):
      ''' Escape and quote a string to be used as an HTTP attribute.'''
      return '"%s"' % html_escape(string).replace('\n','&#10;')\
                      .replace('\r','&#13;').replace('\t','&#9;')
function_tokens: def html_quote ( string ) : return '"%s"' % html_escape ( string ) . replace ( '\n' , '&#10;' ) . replace ( '\r' , '&#13;' ) . replace ( '\t' , '&#9;' )