| Index: Source/devtools/blink/chromeServerProfile/Default/Cache/f_00003d
|
| diff --git a/Source/devtools/front_end/utilities.js b/Source/devtools/blink/chromeServerProfile/Default/Cache/f_00003d
|
| similarity index 99%
|
| copy from Source/devtools/front_end/utilities.js
|
| copy to Source/devtools/blink/chromeServerProfile/Default/Cache/f_00003d
|
| index 5ede3b4c07c918fee88a45917f482df083fa5fd0..b4e955de5b6c88968431da4bf90a084bbd3f4c68 100644
|
| --- a/Source/devtools/front_end/utilities.js
|
| +++ b/Source/devtools/blink/chromeServerProfile/Default/Cache/f_00003d
|
| @@ -53,16 +53,6 @@ Object.values = function(obj)
|
| }
|
|
|
| /**
|
| - * @param {number} n
|
| - * @param {number} m
|
| - * @return {number}
|
| - */
|
| -function mod(m, n)
|
| -{
|
| - return ((m % n) + n) % n;
|
| -}
|
| -
|
| -/**
|
| * @param {string} string
|
| * @return {!Array.<number>}
|
| */
|
| @@ -861,13 +851,6 @@ String.tokenizeFormatString = function(format, formatters)
|
| addStringToken(format.substring(index, precentIndex));
|
| index = precentIndex + 1;
|
|
|
| - if (format[index] === "%") {
|
| - // %% escape sequence.
|
| - addStringToken("%");
|
| - ++index;
|
| - continue;
|
| - }
|
| -
|
| if (isDigit(format[index])) {
|
| // The first character is a number, it might be a substitution index.
|
| var number = parseInt(format.substring(index), 10);
|
|
|