Function innerText

docs/app/js/sanddance-app.js:123998–123998

(val)

    return s.length ? s[0].toUpperCase() + s.slice(1) : s;
}
const innerText = (val)=>(val + "").replace(/&/g, "&amp;").replace(/</g, "&lt;").replace(/>/g, "&gt;");
const attrText = (val)=>innerText(val).replace(/"/g, "&quot;").replace(/\t/g, "&#x9;").replace(/\n/g, "&#xA;").replace(/\r/g, "&#xD;");
function markup() {
    let buf = "", outer = "", inner = "";