Using os.clock() in the editor and HTML5 give quite different results; HTML5 seems to be a order of magnitude higher.
I found this thread on Github:
Which would translate to including this quite over-elaborate library:
What’s the best way to get cross-platform accuracy when it comes to millisecond timers in Defold?