Function setAttributes

docs/app/js/sanddance-app.js:124544–124546

(el, attrs)

    }
}
function setAttributes(el, attrs) {
    for(const key in attrs)setAttribute(el, key, attrs[key]);
}
function setAttribute(el, name, value14) {
    if (value14 != null) // if value is provided, update DOM attribute
    el.setAttribute(name, value14);