Function attr3

docs/app/js/sanddance-app.js:124008–124011

(name, value8)

        }
        stack.push(tag);
    }, attr3 = (name, value8)=>{
        if (value8 != null) outer += ` ${name}="${attrText(value8)}"`;
        return m;
    }, m = {
        open (tag, ...attrs) {
            push(tag);
            outer = "<" + tag;