[READ-ONLY] Mirror of https://github.com/maybeanerd/MagiBot. MagiBot - the community building discord bot that adds joinsounds to your voice channels! discord.gg/2Evcf4T
bot bots community discord gaming hacktoberfest sound
1

Configure Feed

Select the types of activity you want to include in your feed.

style: fix eslint errors

Sebastian Di Luzio (Feb 10, 2023, 7:21 PM +0100) fe1fc797 2fa03c16

+7 -2
+6 -2
src/commands/vote.ts
··· 1 - import { ChatInputCommandInteraction, Message, PermissionFlagsBits, } from 'discord.js'; 1 + import { 2 + ChatInputCommandInteraction, 3 + Message, 4 + PermissionFlagsBits, 5 + } from 'discord.js'; 2 6 import { SlashCommandBuilder } from '@discordjs/builders'; 3 7 import { 4 8 asyncForEach, 5 9 formatAsTimestamp, 6 10 interactionConfirmation, 7 - TimestampType 11 + TimestampType, 8 12 } from '../helperFunctions'; 9 13 import { DeferReply, MagibotSlashCommand } from '../types/command'; 10 14 import { Vote, VoteModel } from '../db';
+1
src/helperFunctions.ts
··· 239 239 }&permissions=3212353&scope=bot%20applications.commands`; 240 240 } 241 241 242 + // eslint-disable-next-line no-shadow 242 243 export enum TimestampType { 243 244 SHORT_TIME = 't', 244 245 LONG_TIME = 'T',