/src/main/java/org/htmlunit/html/HtmlElement.java
htmlPage.fireHtmlAttributeReplaced( event) ;listener.attributeReplaced( event) ;
listener.attributeReplaced ( event ) ;
} } else { synchronized (listeners) { for (final HtmlAttributeChangeListener listener : listeners) { if (notifyMutationObservers || !(listener instanceof MutationObserver)) { <extra_id_0> } } } } final DomNode parentNode = element.getParentNode(); if (parentNode instanceof HtmlElement) {