webReload function

void webReload()

Performs a web reload using window.location.reload().

No-op for non-web platforms.

Implementation

void webReload() {}