Index: third_party/WebKit/Source/core/dom/ScriptLoader.h |
diff --git a/third_party/WebKit/Source/core/dom/ScriptLoader.h b/third_party/WebKit/Source/core/dom/ScriptLoader.h |
index 7b71d0cbec098deda5a83b2508288c8200c4fe0a..91437cf3e9567c295bf3e29adb0e3cff41692d3c 100644 |
--- a/third_party/WebKit/Source/core/dom/ScriptLoader.h |
+++ b/third_party/WebKit/Source/core/dom/ScriptLoader.h |
@@ -86,6 +86,7 @@ public: |
// Clears the connection to the PendingScript (and Element and Resource). |
void detach(); |
+ bool isDetached() const { return !m_pendingScript; } |
protected: |
ScriptLoader(Element*, bool createdByParser, bool isEvaluated); |