1 files changed, 4 insertions, 0 deletions

diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 3a0e7f9f..8d7f6e40 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -603,6 +603,10 @@ function uu(s) {
   return decodeURIComponent(s.replace(new RegExp ("\\+", "g"), " "));
 }
 
+function atr(s) {
+  return s.replace(new RegExp ("\"", "g"), """).replace(new RegExp ("&", "g"), "&")
+}
+
 function ub(b) {
   return b ? "1" : "0";
 }