DevTools: Speculatively patch DevTools to make CodeSchool extension work.

Source/devtools/front_end/Main.js

 /*
  * Copyright (C) 2006, 2007, 2008 Apple Inc.  All rights reserved.
  * Copyright (C) 2007 Matt Lilek (pewtermoose@gmail.com).
  * Copyright (C) 2009 Joseph Pecoraro
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  *
  * 1.  Redistributions of source code must retain the above copyright
@@ skipping 707 matching lines @@
 
 WebInspector.reload = function()
 {
     InspectorAgent.reset();
     window.location.reload();
 }
 
 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);
+}