| 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..edda4f47963e5ced8e384088fb9505be08175d65 100644
|
| --- a/third_party/WebKit/Source/core/dom/ScriptLoader.h
|
| +++ b/third_party/WebKit/Source/core/dom/ScriptLoader.h
|
| @@ -86,6 +86,9 @@ public:
|
|
|
| // Clears the connection to the PendingScript (and Element and Resource).
|
| void detach();
|
| +#if !ENABLE(OILPAN)
|
| + bool isDetached() const { return !m_pendingScript; }
|
| +#endif
|
|
|
| protected:
|
| ScriptLoader(Element*, bool createdByParser, bool isEvaluated);
|
|
|