Updated 40 files, added 37 files, deleted 1103 files and renamed 3905 files (automated)

1 files changed, 28 insertions, 0 deletions

diff --git a/includes/external/school/node_modules/browser-process-hrtime/index.js b/includes/external/school/node_modules/browser-process-hrtime/index.js
new file mode 100644
index 0000000..7312c2c
--- /dev/null
+++ b/includes/external/school/node_modules/browser-process-hrtime/index.js
@@ -0,0 +1,28 @@
+module.exports = process.hrtime || hrtime
+
+// polyfil for window.performance.now
+var performance = global.performance || {}
+var performanceNow =
+  performance.now        ||
+  performance.mozNow     ||
+  performance.msNow      ||
+  performance.oNow       ||
+  performance.webkitNow  ||
+  function(){ return (new Date()).getTime() }
+
+// generate timestamp or delta
+// see http://nodejs.org/api/process.html#process_process_hrtime
+function hrtime(previousTimestamp){
+  var clocktime = performanceNow.call(performance)*1e-3
+  var seconds = Math.floor(clocktime)
+  var nanoseconds = Math.floor((clocktime%1)*1e9)
+  if (previousTimestamp) {
+    seconds = seconds - previousTimestamp[0]
+    nanoseconds = nanoseconds - previousTimestamp[1]
+    if (nanoseconds<0) {
+      seconds--
+      nanoseconds += 1e9
+    }
+  }
+  return [seconds,nanoseconds]
+}
\ No newline at end of file