Lines Matching refs:escapeHTML
25 function escapeHTML(s) {41 stdout.innerHTML = stdout.innerHTML + escapeHTML(s);