interface DiscordEmbedVideoimport { type DiscordEmbedVideo } from "https://dotland.deno.dev/x/discordeno@17.2.0/plugins/validations/deps.ts"; https://discord.com/developers/docs/resources/channel#embed-object-embed-video-structure Propertiesoptionalurl: stringSource url of video optionalproxy_url: stringA proxied url of the video optionalheight: numberHeight of video optionalwidth: numberWidth of video