}
-// string escape for html display
+// string escape for html display FIXME can this be replaced with encodeURI() from the standard library?
function escapeHTMLURI(text) {
'use strict';
return text.replace(/./g, function (a) {
// string escape for JavaScript string
-//
function escapeJS(text) {
'use strict';
return text.replace(/[\"\']/g, function (a) {