[tabbed options] tidy up some bits of content settings

chrome/browser/resources/shared/js/cr.js

Index: chrome/browser/resources/shared/js/cr.js
diff --git a/chrome/browser/resources/shared/js/cr.js b/chrome/browser/resources/shared/js/cr.js
index a4702342910dc4e9732e881bd79f22bef9852534..6686269d897f1ddd7c7f396529506bdbf3e49e4b 100644
--- a/chrome/browser/resources/shared/js/cr.js
+++ b/chrome/browser/resources/shared/js/cr.js
@@ -23,6 +23,12 @@ const cr = (function() {
   const isChromeOS = /CrOS/.test(navigator.userAgent);
 
   /**
+   * Whether this is on vanilla Linux (not chromeOS).
+   * @type {boolean}
+   */
+  const isLinux = /Linux/.test(navigator.userAgent);
+
+  /**
    * Whether this uses the views toolkit or not.
    * @type {boolean}
    */
@@ -325,6 +331,8 @@ const cr = (function() {
     isChromeOS: isChromeOS,
     isMac: isMac,
     isWindows: isWindows,
+    isLinux: isLinux,
+    isViews: isViews,
     define: define,
     defineProperty: defineProperty,
     PropertyKind: PropertyKind,