Add support functions for DRT DevTools to webkit_support

webkit/support/webkit_support.h

Index: webkit/support/webkit_support.h
diff --git a/webkit/support/webkit_support.h b/webkit/support/webkit_support.h
index c6dfc35cc3335a36ebc4bdd233d0e21cdbcdbea8..099663ae50a05d97bea7beb5443d7d6c785a2d3b 100644
--- a/webkit/support/webkit_support.h
+++ b/webkit/support/webkit_support.h
@@ -13,6 +13,7 @@ class Task;
 namespace WebKit {
 class WebApplicationCacheHost;
 class WebApplicationCacheHostClient;
+class WebCString;
 class WebFrame;
 class WebKitClient;
 class WebMediaPlayer;
@@ -107,6 +108,12 @@ void SetThemeEngine(WebKit::WebThemeEngine* engine);
 WebKit::WebThemeEngine* GetThemeEngine();
 #endif
 
+// - DevTools
+WebKit::WebCString GetDevToolsInjectedScriptSource();
+WebKit::WebCString GetDevToolsInjectedScriptDispatcherSource();
+WebKit::WebCString GetDevToolsDebuggerScriptSource();
+WebKit::WebURL GetDevToolsPathAsURL();
+
 }  // namespace webkit_support
 
 #endif  // WEBKIT_SUPPORT_WEBIT_CLIENT_IMPL_H_