Function htmlEscape

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:3190–3193

(str)

    var escapeElement = document.createElement("pre");
    function htmlEscape(str) {
        escapeElement.textContent = str;
        return escapeElement.innerHTML;
    }
    // Recent (late 2011) Opera betas insert bogus newlines at the start
    // of the textContent, so we strip those.
    if (htmlEscape("a") == "\na")