DevTools: Fix platform-specific extension-based shortcuts on Windows

Source/devtools/front_end/modules.js

Index: Source/devtools/front_end/modules.js
diff --git a/Source/devtools/front_end/modules.js b/Source/devtools/front_end/modules.js
index 0e2f024990c5aeeef42601316ca2908558cb2c9a..69bdf107c733b1d003784c0651d92184660fb361 100644
--- a/Source/devtools/front_end/modules.js
+++ b/Source/devtools/front_end/modules.js
@@ -37,7 +37,7 @@ var allDescriptors = [
                 type: "@WebInspector.ActionDelegate",
                 bindings: [
                     {
-                        platform: "win,linux",
+                        platform: "windows,linux",
                         shortcut: "F5 Ctrl+R"
                     },
                     {
@@ -51,7 +51,7 @@ var allDescriptors = [
                 type: "@WebInspector.ActionDelegate",
                 bindings: [
                     {
-                        platform: "win,linux",
+                        platform: "windows,linux",
                         shortcut: "Shift+F5 Ctrl+F5 Ctrl+Shift+F5 Shift+Ctrl+R"
                     },
                     {
@@ -232,7 +232,7 @@ var allDescriptors = [
                         shortcut: "Meta+O Meta+P"
                     },
                     {
-                        platform: "win,linux",
+                        platform: "windows,linux",
                         shortcut: "Ctrl+O Ctrl+P"
                     }
                 ],