webRedirect function

void webRedirect(
  1. String url
)

Performs a web redirect using window.location.replace().

No-op for non-web platforms.

Implementation

// Unused parameter lint doesn't make sense for stub files.
void webRedirect(String url) {}