A newer version of the Gradio SDK is available: 5.23.3
5.23.3
@gradio/html
import { BaseHTML } from "@gradio/html";
BaseHTML
export let elem_id = ""; export let elem_classes: string[] = []; export let value: string; export let visible = true; export let min_height = false;