Skip to content
Permalink
Newer
Older
100644 79 lines (70 sloc) 1.5 KB
October 19, 2023 16:49
1
declare global {
October 19, 2023 16:49
2
module "*.css";
3
October 19, 2023 16:49
4
interface Env {
5
ASSETS: Fetcher;
October 19, 2023 16:49
6
D1: D1Database;
October 19, 2023 16:49
7
DATA: KVNamespace;
8
[k: string]: string;
9
}
10
11
type RequestContext = EventContext<Env, string, { [k: string]: any }>;
October 19, 2023 16:49
12
13
interface EmotionCriticalToChunks {
14
html: string;
15
styles: { key: string; ids: string[]; css: string }[];
October 19, 2023 16:49
16
}
October 19, 2023 16:49
17
18
interface EmotionServer {
19
constructStyleTagsFromChunks: (
October 19, 2023 16:50
20
criticalData: EmotionCriticalToChunks,
October 19, 2023 16:49
21
) => string;
22
extractCriticalToChunks: (html: string) => EmotionCriticalToChunks;
23
}
24
October 19, 2023 16:49
25
interface AppealCardProps {
26
ban_reason: string;
October 19, 2023 16:49
27
created_at: number;
October 19, 2023 16:49
28
id: string;
29
learned: string;
30
reason_for_unban: string;
October 19, 2023 16:49
31
user: {
32
id: string;
33
username: string;
October 19, 2023 16:49
35
}
36
October 19, 2023 16:49
37
interface GameAppealProps {
October 19, 2023 16:49
38
created_at: number;
October 19, 2023 16:49
39
reasonForUnban: string;
40
roblox_id: number;
41
roblox_username: string;
42
whatHappened: string;
43
}
44
October 19, 2023 16:50
45
interface InactivityNoticeProps {
46
created_at: number;
48
DM?: boolean;
49
ET?: boolean;
50
FM?: boolean;
51
WM?: boolean;
52
};
October 19, 2023 16:50
53
departments: string[];
54
end: string;
55
id: string;
October 19, 2023 16:50
56
reason: string;
57
start: string;
58
user: {
59
id: string;
60
username: string;
61
};
62
}
63
October 19, 2023 16:49
64
interface ReportCardProps {
October 19, 2023 16:50
65
attachments: string[];
October 19, 2023 16:49
66
created_at: number;
October 19, 2023 16:50
67
description?: string;
October 19, 2023 16:49
68
id: string;
69
open: boolean;
October 19, 2023 16:49
70
target_ids: number[];
71
target_usernames: string[];
October 19, 2023 16:49
72
user?: {
73
id: string;
74
username: string;
October 19, 2023 16:49
76
}
October 19, 2023 16:49
77
}
78
79
export {};