Extracted from Pike v8.0 release 164 as of 2018-07-18.
   

Method Parser.XML.Tree.VirtualNode()->set_short_attributes()


Method set_short_attributes

void set_short_attributes(mapping short_attrs)

Description

Sets this nodes name-space adjusted attributes.