function RichWidgets_SetInputPrompt_bootstrap(inputId, prompt) {
  OsInputPrompt_Bootstrap(inputId, prompt);
}