From 5b50afdcafd150186ea5c7b0e1cad98065590b35 Mon Sep 17 00:00:00 2001
From: Jake Vanderwerf <get@jakevanderwerf.ca>
Date: Fri, 28 Aug 2026 18:44:28 +0000
Subject: [PATCH] =A few more phpStorm suggestions, mainly in PHPDocs
---
inc/ui/Navigation.php | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/inc/ui/Navigation.php b/inc/ui/Navigation.php
index 15b0ac0..eb58436 100644
--- a/inc/ui/Navigation.php
+++ b/inc/ui/Navigation.php
@@ -42,10 +42,10 @@
return $this->id;
}
-
/**
* Add a menu item
- *
+ * @param string|null $text
+ * @param string|null $icon
* @return MenuItem
*/
public function addItem(?string $text = null, ?string $icon = null): MenuItem {
--
Gitblit v1.10.0