This would probably be cleaner as

    xml.append(" mixed=\"");
    if (updatePos) *updatePos = xml.length;
    xml.append(hasMixedContent ? '1' : '0').append('\"');

but I think it is ok as it stands.