Function html-encode

html-encode aString

Encodes a string so it can be used inside an HTML document.

Parameters:

aString - The string to be encoded.

Returns:

A new string resulting from encoding aString.