DevTools: Implement console message logging through an extension

Source/devtools/front_end/common/Settings.js

 /*
  * Copyright (C) 2009 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 265 matching lines @@
 WebInspector.BackendSetting.prototype = {
     set: function(value)
     {
         /**
          * @param {?Protocol.Error} error
          * @this {WebInspector.BackendSetting}
          */
         function callback(error)
         {
             if (error) {
-                WebInspector.console.log("Error applying setting " + this._name + ": " + error);
+                WebInspector.messageSink.addErrorMessage("Error applying setting " + this._name + ": " + error);
                 this._eventSupport.dispatchEventToListeners(this._name, this._value);
                 return;
             }
             WebInspector.Setting.prototype.set.call(this, value);
         }
         this._setterCallback(value, callback.bind(this));
     },
 
     __proto__: WebInspector.Setting.prototype
 }
@@ skipping 452 matching lines @@
     {
         var newValue = this._calculateValue();
         if (newValue === this._value)
             return;
         this._value = newValue;
         this._eventSupport.dispatchEventToListeners(this._name, this._value);
     }
 }
 
 WebInspector.settings.pauseOnExceptionStateString = new WebInspector.PauseOnExceptionStateSetting();