chore(Types): update for PR discord/discord-api-docs#1886 (#6)

Co-authored-by: Antonio Román <kyradiscord@gmail.com>
This commit is contained in:
Vlad Frangu
2020-09-10 01:36:40 +03:00
committed by GitHub
parent 01b9c0e493
commit 63941091f8
2 changed files with 17 additions and 1 deletions

View File

@@ -213,9 +213,12 @@ export interface APIGuildIntegration {
enable_emoticons?: boolean;
expire_behavior: IntegrationExpireBehavior;
expire_grace_period: number;
user: APIUser;
user?: APIUser;
account: APIIntegrationAccount;
synced_at: string;
subscriber_count: number;
revoked: boolean;
application?: APIGuildIntegrationApplication;
}
/**
@@ -234,6 +237,18 @@ export interface APIIntegrationAccount {
name: string;
}
/**
* https://discord.com/developers/docs/resources/guild#integration-application-object
*/
export interface APIGuildIntegrationApplication {
id: string;
name: string;
icon: string | null;
description: string;
summary: string;
bot?: APIUser;
}
/**
* https://discord.com/developers/docs/resources/guild#ban-object
*/

View File

@@ -20,6 +20,7 @@ export interface APIWebhook {
token?: string;
source_guild?: APIPartialGuild;
source_channel?: APIPartialChannel;
application_id: string | null;
}
export enum WebhookType {