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/helpers/dashboard.php | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/inc/helpers/dashboard.php b/inc/helpers/dashboard.php
index b9b01bf..6ef2e8a 100644
--- a/inc/helpers/dashboard.php
+++ b/inc/helpers/dashboard.php
@@ -45,9 +45,9 @@
'Log in | North\'eh Smoke & Smash';
}
-
/**
* Checks if the logged in user is one of us
+ * @param int|null $userID
* @return bool
*/
function isOurPeople(?int $userID = null):bool
--
Gitblit v1.10.0