mirror of
https://git.joinsharkey.org/Sharkey/Sharkey.git
synced 2024-11-27 01:43:08 +02:00
fix type
This commit is contained in:
parent
6d4aa316ac
commit
179cb1d813
1 changed files with 1 additions and 1 deletions
|
@ -53,7 +53,7 @@ import { PageHeaderItem } from '@/types/page-header.js';
|
||||||
const props = withDefaults(defineProps<{
|
const props = withDefaults(defineProps<{
|
||||||
tabs?: Tab[];
|
tabs?: Tab[];
|
||||||
tab?: string;
|
tab?: string;
|
||||||
actions?: PageHeaderItem[];
|
actions?: PageHeaderItem[] | null;
|
||||||
thin?: boolean;
|
thin?: boolean;
|
||||||
displayMyAvatar?: boolean;
|
displayMyAvatar?: boolean;
|
||||||
}>(), {
|
}>(), {
|
||||||
|
|
Loading…
Reference in a new issue