interface ModifyGuildimport { type ModifyGuild } from "https://dotland.deno.dev/x/discordeno@17.0.1/helpers/guilds/mod.ts"; https://discord.com/developers/docs/resources/guild#modify-guild Propertiesoptionalname: stringGuild name optionalverificationLevel: VerificationLevels | nullVerification level optionaldefaultMessageNotifications: DefaultMessageNotificationLevels | nullDefault message notification filter level optionalexplicitContentFilter: ExplicitContentFilterLevels | nullExplicit content filter level optionalafkChannelId: BigString | nullId for afk channel optionalafkTimeout: numberAfk timeout in seconds optionalicon: string | nullBase64 1024x1024 png/jpeg/gif image for the guild icon (can be animated gif when the server has the ANIMATED_ICON feature) optionalownerId: BigStringUser id to transfer guild ownership to (must be owner) optionalsplash: string | nullBase64 16:9 png/jpeg image for the guild splash (when the server has INVITE_SPLASH feature) optionaldiscoverySplash: string | nullBase64 16:9 png/jpeg image for the guild discovery spash (when the server has the DISCOVERABLE feature) optionalbanner: string | nullBase64 16:9 png/jpeg image for the guild banner (when the server has BANNER feature) optionalsystemChannelId: BigString | nullThe id of the channel where guild notices such as welcome messages and boost events are posted optionalsystemChannelFlags: SystemChannelFlagsSystem channel flags optionalrulesChannelId: BigString | nullThe id of the channel where Community guilds display rules and/or guidelines optionalpublicUpdatesChannelId: BigString | nullThe id of the channel where admins and moderators of Community guilds receive notices from Discord optionalpreferredLocale: string | nullThe preferred locale of a Community guild used in server discovery and notices from Discord; defaults to "en-US" optionalfeatures: GuildFeatures[]Enabled guild features optionalpremiumProgressBarEnabled: booleanWhether the guild's boost progress bar should be enabled