| Index: third_party/WebKit/Source/core/workers/WorkerThread.h
 | 
| diff --git a/third_party/WebKit/Source/core/workers/WorkerThread.h b/third_party/WebKit/Source/core/workers/WorkerThread.h
 | 
| index 76c05fb3705ec9abc833b1f6d48f3f30416a3cb5..ef70bad4406db28836f50ea1f33c75887c824a1f 100644
 | 
| --- a/third_party/WebKit/Source/core/workers/WorkerThread.h
 | 
| +++ b/third_party/WebKit/Source/core/workers/WorkerThread.h
 | 
| @@ -192,6 +192,7 @@
 | 
|      };
 | 
|  
 | 
|      void terminateInternal(TerminationMode);
 | 
| +    void forciblyTerminateExecution();
 | 
|  
 | 
|      // Returns true if termination or shutdown sequence has started. This is
 | 
|      // thread safe.
 | 
| 
 |