Function attrText

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

(val)

}
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 = "";
    const stack = [], clear = ()=>outer = inner = "", push = (tag)=>{