| 7246 | // length is at least equal to `width`. The `width` must be <= 6. |
| 7247 | var leadingZeroes = "000000"; |
| 7248 | var toPaddedString = function(width, value) { |
| 7249 | // The `|| 0` expression is necessary to work around a bug in |
| 7250 | // Opera <= 7.54u2 where `0 == -0`, but `String(-0) !== "0"`. |
| 7251 | return (leadingZeroes + (value || 0)).slice(-width); |
| 7252 | }; |
| 7253 | |
| 7254 | // Internal: Double-quotes a string `value`, replacing all ASCII control |
| 7255 | // characters (characters with code unit values between 0 and 31) with |