3
0
Fork 0
mirror of https://github.com/ZeppelinBot/Zeppelin.git synced 2025-03-15 05:41:51 +00:00

Remove conflicting global HTMLElement type declaration

Discord.js depends on @discordjs/builders, which depends on @sindresorhus/is,
which references the "dom" library for TypeScript, which includes
a declaration for HTMLElement.
This commit is contained in:
Dragory 2021-08-14 15:48:18 +03:00
parent ba7ece8df7
commit 59185e2297
No known key found for this signature in database
GPG key ID: 5F387BA66DF8AAC1

View file

@ -26,14 +26,6 @@ if (!process.env.KEY) {
process.exit(1); process.exit(1);
} }
declare global {
// This is here so TypeScript doesn't give an error when importing twemoji
// since one of the signatures of twemoji.parse() takes an HTMLElement but
// we're not in a browser environment so including the DOM lib would not make
// sense
type HTMLElement = unknown;
}
// Error handling // Error handling
let recentPluginErrors = 0; let recentPluginErrors = 0;
const RECENT_PLUGIN_ERROR_EXIT_THRESHOLD = 5; const RECENT_PLUGIN_ERROR_EXIT_THRESHOLD = 5;