Index: third_party/WebKit/Source/devtools/front_end/components/Reload.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/components/Reload.js b/third_party/WebKit/Source/devtools/front_end/components/Reload.js |
deleted file mode 100644 |
index 105f5c970a83c70f8f50da75bf3cbec4b5639262..0000000000000000000000000000000000000000 |
--- a/third_party/WebKit/Source/devtools/front_end/components/Reload.js |
+++ /dev/null |
@@ -1,9 +0,0 @@ |
-// Copyright 2015 The Chromium Authors. All rights reserved. |
-// Use of this source code is governed by a BSD-style license that can be |
-// found in the LICENSE file. |
-Components.reload = function() { |
- if (Components.dockController.canDock() && |
- Components.dockController.dockSide() === Components.DockController.State.Undocked) |
- InspectorFrontendHost.setIsDocked(true, function() {}); |
- window.location.reload(); |
-}; |