| Index: Source/modules/webdatabase/DatabaseManager.h
|
| diff --git a/Source/modules/webdatabase/DatabaseManager.h b/Source/modules/webdatabase/DatabaseManager.h
|
| index d394ea0153decb76aee36baa2d05871f7f17bc89..f176a76c31c70ca4ead38880a46c588aedb5ce50 100644
|
| --- a/Source/modules/webdatabase/DatabaseManager.h
|
| +++ b/Source/modules/webdatabase/DatabaseManager.h
|
| @@ -81,7 +81,7 @@ public:
|
|
|
| void closeDatabasesImmediately(const String& originIdentifier, const String& name);
|
|
|
| - void interruptAllDatabasesForContext(ExecutionContext*);
|
| + void interruptAllDatabasesForContext(DatabaseContext*);
|
|
|
| private:
|
| DatabaseManager();
|
|
|