Index: webkit/glue/webkitplatformsupport_impl.cc |
diff --git a/webkit/glue/webkitplatformsupport_impl.cc b/webkit/glue/webkitplatformsupport_impl.cc |
index b4c5d139dbf8df768dab55fc3d10bec0ad9d36fb..207f62a10ee34cde9796bf807d6b2a58750056ce 100644 |
--- a/webkit/glue/webkitplatformsupport_impl.cc |
+++ b/webkit/glue/webkitplatformsupport_impl.cc |
@@ -48,6 +48,7 @@ |
#include "webkit/media/audio_decoder.h" |
#include "webkit/plugins/npapi/plugin_instance.h" |
#include "webkit/plugins/webplugininfo.h" |
+#include "webkit/user_agent/user_agent.h" |
#if defined(OS_ANDROID) |
#include "webkit/glue/fling_animator_impl_android.h" |