hr_time_3 library Null safety

High Resolution Time

https://w3c.github.io/hr-time/

Classes

Performance
The interface provides access to performance-related information for the current page. It's part of the High Resolution Time API, but is enhanced by the Performance Timeline API, the Navigation Timing API, the User Timing API, and the Resource Timing API. [...]