Add support functions for DRT DevTools to webkit_support

webkit/support/webkit_support.h

 // Copyright (c) 2010 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #ifndef WEBKIT_SUPPORT_WEBIT_SUPPORT_H_
 #define WEBKIT_SUPPORT_WEBIT_SUPPORT_H_
 
 #include <string>
 
 #include "base/basictypes.h"
 
 class Task;
 namespace WebKit {
 class WebApplicationCacheHost;
 class WebApplicationCacheHostClient;
+class WebCString;
 class WebFrame;
 class WebKitClient;
 class WebMediaPlayer;
 class WebMediaPlayerClient;
 class WebPlugin;
 class WebString;
 class WebThemeEngine;
 class WebURL;
 struct WebPluginParams;
 }
@@ skipping 74 matching lines @@
 
 // - Resource loader
 void SetAcceptAllCookies(bool accept);
 
 // - Theme engine
 #if defined(OS_WIN)
 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_