trying to port web app starter from PHP

2026-04-19 09:38:23 +00:00
parent 46d98a092f
commit be514d63d6
546 changed files with 76910 additions and 2807 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;