| Index: third_party/WebKit/Source/devtools/front_end/ui/InspectorView.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/ui/InspectorView.js b/third_party/WebKit/Source/devtools/front_end/ui/InspectorView.js
|
| index 5b1759f66fc343a28326a7034ac1d6e0129775f2..8a72eb1a0b16c740f3d017f0e13a1818b3e606bc 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui/InspectorView.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/InspectorView.js
|
| @@ -127,7 +127,7 @@ WebInspector.InspectorView.prototype = {
|
| }
|
|
|
| WebInspector.startBatchUpdate();
|
| - /** @type {!Map.<!WebInspector.PanelDescriptor, number>} */
|
| + /** @type {!Map<!WebInspector.PanelDescriptor, number>} */
|
| var panelWeights = new Map();
|
| self.runtime.extensions(WebInspector.PanelFactory).forEach(processPanelExtensions.bind(this));
|
| var sortedPanels = panelWeights.keysArray().sort(orderComparator);
|
|
|