header.js 640 B

123456789101112131415161718192021222324252627282930313233343536
  1. var window = window || {};
  2. var self = self || {};
  3. // High-resulution counter: emulate window.performance.now() for THREE.CLOCK
  4. if( window.performance === undefined ) {
  5. window.performance = { };
  6. }
  7. if( window.performance.now === undefined ) {
  8. // check if we are in a Node.js environment
  9. if( ( process !== undefined ) && ( process.hrtime !== undefined ) ) {
  10. window.performance.now = function () {
  11. var time = process.hrtime();
  12. return ( time[0] + time[1] / 1e9 ) * 1000;
  13. };
  14. }
  15. // if not Node.js revert to using the Date class
  16. else {
  17. window.performance.now = function() {
  18. return new Date().getTime();
  19. };
  20. }
  21. }