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); |