| 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);
|
| }
|
|
|