DevTools: patch browser's Chrome version into Chrome user agents for emulation

third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js

Index: third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js
diff --git a/third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js b/third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js
index f73dd411883bf6aee413cb61b6d14c5576d0274c..512dc3feab41faf9ed1eadb08edcea2e6b1d2acb 100644
--- a/third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js
+++ b/third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js
@@ -699,6 +699,20 @@ WebInspector.MultitargetNetworkManager.Events = {
     UserAgentChanged: Symbol("UserAgentChanged")
 }
 
+/**
+ * @param {string} uaString
+ * @return {string}
+ */
+WebInspector.MultitargetNetworkManager.patchUserAgentWithChromeVersion = function(uaString)
+{
+    // Patches Chrome/CriOS version from user agent ("1.2.3.4" when user agent is: "Chrome/1.2.3.4").
+    var chromeRegex = new RegExp("(?:^|\\W)Chrome/(\\S+)");
+    var chromeMatch = navigator.userAgent.match(chromeRegex);
+    if (chromeMatch && chromeMatch.length > 1)
+        return String.sprintf(uaString, chromeMatch[1]);
+    return uaString;
+}
+
 WebInspector.MultitargetNetworkManager.prototype = {
     /**
      * @override