push-attribute ( document -- )


Vocabulary
html5

Inputs
documentan object


Outputs
None

Definition


:: push-attribute ( document -- )
document current-attribute [
:> attribute document tag>> attributes>> :> attributes
attribute first attributes key?
[ "duplicate-attribute" report-parse-error ]
[ attribute attributes push ] if
] when* document reset-attribute ;