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