diff options
| author | Steve Block <steveblock@google.com> | 2009-08-24 11:51:12 +0100 |
|---|---|---|
| committer | Steve Block <steveblock@google.com> | 2009-08-24 11:51:58 +0100 |
| commit | feffdf7162a392038d734a011cd6c5eba2552fe7 (patch) | |
| tree | 3de9ce611faad5da95d2387c326c9180e68e5439 | |
| parent | a7f4953b4f6bd15510aa67ffe11c85130aedbd26 (diff) | |
| download | external_webkit-feffdf7162a392038d734a011cd6c5eba2552fe7.zip external_webkit-feffdf7162a392038d734a011cd6c5eba2552fe7.tar.gz external_webkit-feffdf7162a392038d734a011cd6c5eba2552fe7.tar.bz2 | |
Fixes build breakage due to missing GeolocationPermissions header.
| -rw-r--r-- | WebKit/android/jni/WebSettings.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/WebKit/android/jni/WebSettings.cpp b/WebKit/android/jni/WebSettings.cpp index dcc4ab6..e717efd 100644 --- a/WebKit/android/jni/WebSettings.cpp +++ b/WebKit/android/jni/WebSettings.cpp @@ -35,6 +35,7 @@ #include "Frame.h" #include "FrameLoader.h" #include "FrameView.h" +#include "GeolocationPermissions.h" #include "Page.h" #include "RenderTable.h" #include "Settings.h" |