com.raquo.domtypes.defs.reflectedAttrs

Reflected attributes are attributes that can be set using either a DOM property or an HTML attribute. In practical terms, you don't need to load both props and attrs for these properties, using just one would be enough as they are interchangeable.

Note that in JS browser engines, using props has better performance than using attributes.

For more background on reflected attributes, see:

• Our own README file.
• https://stackoverflow.com/a/6004028/2601788
• https://html.spec.whatwg.org/multipage/common-dom-interfaces.html#reflecting-content-attributes-in-idl-attributes (NOTE: The specification calls DOM properties "IDL attributes" and HTML attributes "Content attributes")