/src/main/java/org/htmlunit/html/HtmlElement.java
if ( ATTRIBUTE_NOT_DEFINED != formId) {
if ( ATTRIBUTE_NOT_DEFINED == oldAttributeValue ) {
} fireAttributeChangeImpl(event, htmlPage, mappedElement, oldAttributeValue); } protected static void notifyAttributeChangeListeners(final HtmlAttributeChangeEvent event, final HtmlElement element, final String oldAttributeValue, final boolean notifyMutationObservers) { final List<HtmlAttributeChangeListener> listeners = element.attributeListeners_; <extra_id_0> synchronized (listeners) { for (final HtmlAttributeChangeListener listener : listeners) { if (notifyMutationObservers || !(listener instanceof MutationObserver)) { listener.attributeAdded(event); } }