| Index: third_party/WebKit/Source/devtools/front_end/platform/utilities.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/platform/utilities.js b/third_party/WebKit/Source/devtools/front_end/platform/utilities.js
|
| index eb66a1445c06c3eab951722c46066216247c1d4f..32998d2240f264f004e4574d8579193dea2d0f08 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/platform/utilities.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/platform/utilities.js
|
| @@ -1261,19 +1261,6 @@ function numberToStringWithSpacesPadding(value, symbolsCount)
|
| }
|
|
|
| /**
|
| - * @param {!Iterator.<T>} iterator
|
| - * @return {!Array.<T>}
|
| - * @template T
|
| - */
|
| -Array.from = function(iterator)
|
| -{
|
| - var values = [];
|
| - for (var iteratorValue = iterator.next(); !iteratorValue.done; iteratorValue = iterator.next())
|
| - values.push(iteratorValue.value);
|
| - return values;
|
| -}
|
| -
|
| -/**
|
| * @return {!Array.<T>}
|
| * @template T
|
| */
|
|
|