pushState method Null safety
Push a new history entry.
See: https://developer.mozilla.org/en-US/docs/Web/API/History/pushState
Implementation
void pushState(Object? state, String title, String url);
Push a new history entry.
See: https://developer.mozilla.org/en-US/docs/Web/API/History/pushState
void pushState(Object? state, String title, String url);