/src/main/java/org/htmlunit/html/HtmlElement.java
fireHtmlAttributeRemoved( event) ;htmlPage.fireHtmlAttributeAdded( event) ;
htmlPage.fireHtmlAttributeAdded ( event ) ;
final HtmlPage htmlPage, final boolean mappedElement, final String oldAttributeValue) { if (mappedElement) { htmlPage.addMappedElement(this); } if (ATTRIBUTE_NOT_DEFINED == oldAttributeValue) { fireHtmlAttributeAdded(event); <extra_id_0> } else { fireHtmlAttributeReplaced(event); htmlPage.fireHtmlAttributeReplaced(event); } }