DevTools: Speculatively patch DevTools to make CodeSchool extension work.

Source/devtools/front_end/Main.js

Index: Source/devtools/front_end/Main.js
diff --git a/Source/devtools/front_end/Main.js b/Source/devtools/front_end/Main.js
index e700fbf083b19c70569df01c207bb57f6ac6034b..1c4b70bc22e59140de6c91a1023eb515ced351f0 100644
--- a/Source/devtools/front_end/Main.js
+++ b/Source/devtools/front_end/Main.js
@@ -725,3 +725,16 @@ WebInspector.reload = function()
 new WebInspector.Main();
 
 window.DEBUG = true;
+
+// These methods are added for backwards compatibility with Devtools CodeSchool extension.
+// DO NOT REMOVE
+
+WebInspector.__defineGetter__("inspectedPageURL", function()
+{
+    return WebInspector.resourceTreeModel.inspectedPageURL();
+});
+
+WebInspector.panel = function(name)
+{
+    return WebInspector.inspectorView.panel(name);
+}