From e4e901a29e03b4582658caacc3d763148124feff Mon Sep 17 00:00:00 2001 From: Yannick Warnier Date: Mon, 11 Mar 2024 19:19:32 +0100 Subject: [PATCH] Minor: Fix PHPDoc warning --- public/main/inc/lib/events.lib.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/public/main/inc/lib/events.lib.php b/public/main/inc/lib/events.lib.php index 77ec74eded..2d295b065e 100644 --- a/public/main/inc/lib/events.lib.php +++ b/public/main/inc/lib/events.lib.php @@ -1347,7 +1347,7 @@ class Event * * @param int $user_id * @param int $exercise_id - * @param int $course_id + * @param int $courseId * @param ?int $session_id * @param ?int $lp_id * @param ?int $lp_item_id