svoid openInBrowser(S url) {
  openPlatformBrowser(url);
}



svoid openInBrowser(URL url) {
  openPlatformBrowser(url);
}