diff options
| author | FifthWit <fifthwitbusiness@gmail.com> | 2025-01-30 13:11:48 -0600 |
|---|---|---|
| committer | FifthWit <fifthwitbusiness@gmail.com> | 2025-01-30 13:11:48 -0600 |
| commit | 81342e2579165ebfdb28c749dc5225141721a419 (patch) | |
| tree | 8e5759c20b92408048fe5ac44f48e2df2a00ab9b /frontend/src/types/Map.ts | |
| parent | fixed issues with useCallback (diff) | |
| download | lphub-81342e2579165ebfdb28c749dc5225141721a419.tar.gz lphub-81342e2579165ebfdb28c749dc5225141721a419.tar.bz2 lphub-81342e2579165ebfdb28c749dc5225141721a419.zip | |
switched to double quotes
Diffstat (limited to 'frontend/src/types/Map.ts')
| -rw-r--r-- | frontend/src/types/Map.ts | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/frontend/src/types/Map.ts b/frontend/src/types/Map.ts index 6bc6369..6a42c2a 100644 --- a/frontend/src/types/Map.ts +++ b/frontend/src/types/Map.ts | |||
| @@ -1,6 +1,6 @@ | |||
| 1 | import type { Category, GameCategoryPortals } from '@customTypes/Game'; | 1 | import type { Category, GameCategoryPortals } from "@customTypes/Game"; |
| 2 | import type { Pagination } from '@customTypes/Pagination'; | 2 | import type { Pagination } from "@customTypes/Pagination"; |
| 3 | import type { UserShort } from '@customTypes/Profile'; | 3 | import type { UserShort } from "@customTypes/Profile"; |
| 4 | 4 | ||
| 5 | export interface Map { | 5 | export interface Map { |
| 6 | id: number; | 6 | id: number; |
| @@ -44,7 +44,7 @@ export interface MapLeaderboard { | |||
| 44 | } | 44 | } |
| 45 | 45 | ||
| 46 | export interface MapLeaderboardRecordSingleplayer { | 46 | export interface MapLeaderboardRecordSingleplayer { |
| 47 | kind: 'singleplayer'; | 47 | kind: "singleplayer"; |
| 48 | placement: number; | 48 | placement: number; |
| 49 | record_id: number; | 49 | record_id: number; |
| 50 | score_count: number; | 50 | score_count: number; |
| @@ -55,7 +55,7 @@ export interface MapLeaderboardRecordSingleplayer { | |||
| 55 | } | 55 | } |
| 56 | 56 | ||
| 57 | export interface MapLeaderboardRecordMultiplayer { | 57 | export interface MapLeaderboardRecordMultiplayer { |
| 58 | kind: 'multiplayer'; | 58 | kind: "multiplayer"; |
| 59 | placement: number; | 59 | placement: number; |
| 60 | record_id: number; | 60 | record_id: number; |
| 61 | score_count: number; | 61 | score_count: number; |