Make sure the User Timing API does not provide a new high resolution timestamp
We should make sure that the User Timing API provides timestamps with reduced precision only. See: https://bugzilla.mozilla.org/show_bug.cgi?id=782751 for its implementation.