DevTools: pass theme name to the extensions.

third_party/WebKit/Source/devtools/front_end/ui/UIUtils.js

 /*
  * Copyright (C) 2011 Google Inc.  All rights reserved.
  * Copyright (C) 2006, 2007, 2008 Apple Inc.  All rights reserved.
  * Copyright (C) 2007 Matt Lilek (pewtermoose@gmail.com).
  * Copyright (C) 2009 Joseph Pecoraro
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  *
@@ skipping 1702 matching lines @@
 WebInspector.ThemeSupport.prototype = {
     /**
      * @return {boolean}
      */
     hasTheme: function()
     {
         return this._themeName !== "default";
     },
 
     /**
+     * @return {string}
+     */
+    themeName: function()
+    {
+        return this._themeName;
+    },
+
+    /**
      * @param {!Element} element
      */
     injectHighlightStyleSheets: function(element)
     {
         this._injectingStyleSheet = true;
         WebInspector.appendStyle(element, "ui/inspectorSyntaxHighlight.css");
         if (this._themeName === "dark")
             WebInspector.appendStyle(element, "ui/inspectorSyntaxHighlightDark.css");
         this._injectingStyleSheet = false;
     },
@@ skipping 245 matching lines @@
  * @param {string} title
  * @return {!Element}
  */
 WebInspector.linkifyDocumentationURLAsNode = function(article, title)
 {
     return WebInspector.linkifyURLAsNode("https://developers.google.com/web/tools/chrome-devtools/" + article, title, undefined, true);
 }
 
 /** @type {!WebInspector.ThemeSupport} */
 WebInspector.themeSupport;