1 files changed, 8 insertions, 0 deletions
diff --git a/src/3rdparty/webkit/WebCore/dom/ScriptElement.h b/src/3rdparty/webkit/WebCore/dom/ScriptElement.h
index 73cd077a27..0aed5e8ffb 100644
--- a/src/3rdparty/webkit/WebCore/dom/ScriptElement.h
+++ b/src/3rdparty/webkit/WebCore/dom/ScriptElement.h
@@ -42,6 +42,7 @@ public:
     virtual String charsetAttributeValue() const = 0;
     virtual String typeAttributeValue() const = 0;
     virtual String languageAttributeValue() const = 0;
+    virtual String forAttributeValue() const = 0;
 
     virtual void dispatchLoadEvent() = 0;
     virtual void dispatchErrorEvent() = 0;
@@ -49,6 +50,8 @@ public:
     // A charset for loading the script (may be overridden by HTTP headers or a BOM).
     virtual String scriptCharset() const = 0;
 
+    virtual bool shouldExecuteAsJavaScript() const = 0;
+
 protected:
     // Helper functions used by our parent classes.
     static void insertedIntoDocument(ScriptElementData&, const String& sourceUrl);
@@ -81,6 +84,8 @@ public:
     void evaluateScript(const ScriptSourceCode&);
     void stopLoadRequest();
 
+    void execute(CachedScript*);
+
 private:
     virtual void notifyFinished(CachedResource*);
 
@@ -89,10 +94,13 @@ private:
     Element* m_element;
     CachedResourceHandle<CachedScript> m_cachedScript;
     bool m_createdByParser;
+    bool m_requested;
     bool m_evaluated;
     bool m_firedLoad;
 };
 
+ScriptElement* toScriptElement(Element*);
+
 }
 
 #endif