| Index: third_party/WebKit/Source/devtools/front_end/ui/KeyboardShortcut.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/ui/KeyboardShortcut.js b/third_party/WebKit/Source/devtools/front_end/ui/KeyboardShortcut.js
|
| index ba9f9596ab776eb38ac5a4e4731809659450172f..aaf893fe6dc947ab2d349b0d14cbbfad920a01fb 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui/KeyboardShortcut.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/KeyboardShortcut.js
|
| @@ -256,7 +256,7 @@ WebInspector.KeyboardShortcut._keyName = function(key)
|
| return key.toUpperCase();
|
| if (typeof key.name === "string")
|
| return key.name;
|
| - return key.name[WebInspector.platform()] || key.name.other || '';
|
| + return key.name[WebInspector.platform()] || key.name.other || "";
|
| }
|
|
|
| /**
|
|
|