diff options
Diffstat (limited to 'lib/public/INavigationManager.php')
| -rw-r--r-- | lib/public/INavigationManager.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/public/INavigationManager.php b/lib/public/INavigationManager.php index d22e96aa9d3..2bd70c04d65 100644 --- a/lib/public/INavigationManager.php +++ b/lib/public/INavigationManager.php @@ -87,7 +87,7 @@ interface INavigationManager { * @param string $id ID of the navigation entry * @since 31.0.0 */ - public function get(string $id): array|null; + public function get(string $id): ?array; /** * Returns the id of the user's default entry |