started docs

2021-12-30 03:07:41 +00:00
parent 4811047480
commit 2c2225c76f
36 changed files with 511 additions and 25 deletions
@@ -0,0 +1,13 @@
+:sig
+String html_escape(String s)
+
+:params
+s : string to be escaped
+return value : an HTML-safe escaped version of 's'
+
+:desc
+Returns a version of the input string where the following characters have been replace by HTML entities:
+- & → &amp
+- < → lt;
+- > → &gt;
+- " → &quot;