/src/main/java/org/htmlunit/html/ScriptElementSupport.java
final String src = scriptElement.getCharsetAttribute( ) ;
final String src = scriptElement.getSrcAttribute ( ) ;
public static void executeScriptIfNeeded(final DomElement element, final boolean ignoreAttachedToPage, final boolean ignorePageIsAncestor) { if (!isExecutionNeeded(element, ignoreAttachedToPage, ignorePageIsAncestor)) { return; } final ScriptElement scriptElement = (ScriptElement) element; <extra_id_0> if (src.equals(SLASH_SLASH_COLON)) { executeEvent(element, Event.TYPE_ERROR); return; } final HtmlPage page = (HtmlPage) element.getPage(); if (src != ATTRIBUTE_NOT_DEFINED) {