Index: Source/devtools/front_end/utilities.js |
diff --git a/Source/devtools/front_end/utilities.js b/Source/devtools/front_end/utilities.js |
index b71989faf990a879692f2a0b55a2c18d92babcc4..2e220dd8388feffe060d310d595cfedf696b97cc 100644 |
--- a/Source/devtools/front_end/utilities.js |
+++ b/Source/devtools/front_end/utilities.js |
@@ -1398,11 +1398,21 @@ var StringSet = function() |
this._map = new StringMap(); |
} |
+/** |
+ * @param {!Array.<string>} array |
+ */ |
+StringSet.fromArray = function(array) |
+{ |
+ var result = new StringSet(); |
+ array.forEach(function(item) { result.add(item); }); |
+ return result; |
+} |
+ |
StringSet.prototype = { |
/** |
* @param {string} value |
*/ |
- put: function(value) |
+ add: function(value) |
{ |
this._map.put(value, true); |
}, |