DevTools: Implement console message logging through an extension

Source/devtools/front_end/profiler/ProfilesPanel.js

Index: Source/devtools/front_end/profiler/ProfilesPanel.js
diff --git a/Source/devtools/front_end/profiler/ProfilesPanel.js b/Source/devtools/front_end/profiler/ProfilesPanel.js
index 482e88b2159747ec139980552a2fb9705dfa3d7c..8cc2a7bb8ed9ccfcf763ac6878168ecca2d334c1 100644
--- a/Source/devtools/front_end/profiler/ProfilesPanel.js
+++ b/Source/devtools/front_end/profiler/ProfilesPanel.js
@@ -566,7 +566,7 @@ WebInspector.ProfilesPanel.prototype = {
         function didChangeInterval(error)
         {
             if (error)
-                WebInspector.console.showErrorMessage(error);
+                WebInspector.messageSink.addErrorMessage(error, true);
         }
     },
 
@@ -587,12 +587,12 @@ WebInspector.ProfilesPanel.prototype = {
                     continue;
                 extensions.push(extension);
             }
-            WebInspector.console.log(WebInspector.UIString("Can't load file. Only files with extensions '%s' can be loaded.", extensions.join("', '")));
+            WebInspector.messageSink.addMessage(WebInspector.UIString("Can't load file. Only files with extensions '%s' can be loaded.", extensions.join("', '")));
             return;
         }
 
         if (!!profileType.profileBeingRecorded()) {
-            WebInspector.console.log(WebInspector.UIString("Can't load profile when other profile is recording."));
+            WebInspector.messageSink.addMessage(WebInspector.UIString("Can't load profile while another profile is recording."));
             return;
         }