Interface WebTypes

interface WebTypes {
    $schema: string;
    contributions: { html: { elements: WebTypesElement[] } };
    "description-markup": "markdown";
    name: string;
    version: string;
}