From 43b0f1ceeb2e87ea426bd923770d287b15d19fd0 Mon Sep 17 00:00:00 2001 From: provokateurin Date: Wed, 22 May 2024 16:20:34 +0200 Subject: [PATCH] fix(INavigationManager): Fix psalm alias not set in the right place Signed-off-by: provokateurin --- lib/public/INavigationManager.php | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/lib/public/INavigationManager.php b/lib/public/INavigationManager.php index 36f80c3293f..d1e5e674ab0 100644 --- a/lib/public/INavigationManager.php +++ b/lib/public/INavigationManager.php @@ -32,13 +32,11 @@ namespace OCP; -/** - * @psalm-type NavigationEntry = array{id: string, order: int, href: string, name: string, app?: string, icon?: string, classes?: string, type?: string} - */ - /** * Manages the ownCloud navigation * @since 6.0.0 + * + * @psalm-type NavigationEntry = array{id: string, order: int, href: string, name: string, app?: string, icon?: string, classes?: string, type?: string} */ interface INavigationManager { /**