| /* |
| * Performance.now() polyfill |
| * |
| * http://www.w3.org/TR/hr-time/#sec-high-resolution-time |
| * |
| * Dummy implementation which uses the Date built-in and has no higher |
| * resolution. If/when Duktape has a built-in high resolution timer |
| * interface, reimplement this. |
| */ |
| |
| var _perfNowZeroTime = Date.now(); |
| |
| if (typeof Performance === 'undefined') { |
| Object.defineProperty(this, 'Performance', { |
| value: {}, |
| writable: true, enumerable: false, configurable: true |
| }); |
| } |
| if (typeof Performance.now === 'undefined') { |
| Object.defineProperty(Performance, 'now', { |
| value: function () { |
| return Date.now() - _perfNowZeroTime; |
| }, writable: true, enumerable: false, configurable: true |
| }); |
| } |