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



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