| Index: Source/devtools/front_end/ExtensionServer.js
|
| diff --git a/Source/devtools/front_end/ExtensionServer.js b/Source/devtools/front_end/ExtensionServer.js
|
| index 7f3601b0e8c3812a7143e3a38627cfef1ce0291f..4c0f7a546c65a84aa095078c058c119e5a90f7d9 100644
|
| --- a/Source/devtools/front_end/ExtensionServer.js
|
| +++ b/Source/devtools/front_end/ExtensionServer.js
|
| @@ -417,6 +417,7 @@ WebInspector.ExtensionServer.prototype = {
|
| return this._status.E_BADARG("message.severity", message.severity);
|
|
|
| var consoleMessage = new WebInspector.ConsoleMessage(
|
| + WebInspector.console.target(),
|
| WebInspector.ConsoleMessage.MessageSource.JS,
|
| level,
|
| message.text,
|
|
|