| 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);
|
|
|