example implementation
As not every computer on this planet is synked against the servers I suggest to include the server time in the output. Following patch is an example how to. Though javascript really wants the timestamp in milliseconds, but php's 32 bits wont handle that. But a near second I feel is enough.
Version: unspecified
Severity: enhancement
Attached: