Index: content/public/android/java/src/org/chromium/content_public/browser/WebContents.java |
diff --git a/content/public/android/java/src/org/chromium/content_public/browser/WebContents.java b/content/public/android/java/src/org/chromium/content_public/browser/WebContents.java |
index d024554df6eead72c00b1b3b46e592e5b8b8b92a..c257d42d9714963b42f18c3951ed83868a51c934 100644 |
--- a/content/public/android/java/src/org/chromium/content_public/browser/WebContents.java |
+++ b/content/public/android/java/src/org/chromium/content_public/browser/WebContents.java |
@@ -202,4 +202,9 @@ public interface WebContents { |
*/ |
public void evaluateJavaScript(String script, JavaScriptCallback callback); |
+ /** |
+ * Adds a log message to dev tools console. |level| must be a value of |
+ * org.chromium.content_public.common.ConsoleMessageLevel. |
+ */ |
+ public void addMessageToDevToolsConsole(int level, String message); |
} |