From 77962640d7df210f8d4295a637a0a0a3da60176f Mon Sep 17 00:00:00 2001
From: Maks Nowak <maks.n@durhack.com>
Date: Sat, 22 Jun 2024 14:54:20 +0100
Subject: [PATCH] Fixed lint errors

---
 server/src/routes/users/user_handlers.ts | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/server/src/routes/users/user_handlers.ts b/server/src/routes/users/user_handlers.ts
index 4b543dd..faac8eb 100644
--- a/server/src/routes/users/user_handlers.ts
+++ b/server/src/routes/users/user_handlers.ts
@@ -289,12 +289,12 @@ class UserHandlers {
    * Handles an authenticated admin DELETE request to /users/:id.
    * Deletes the resource.
    *
-   * @param request
+   * @param _request
    * @param response
-   * @param next
+   * @param _next
    */
   @requireUserIsAdmin
-  async deleteUserAsAdmin(request: Request, response: Response, next: NextFunction): Promise<void> {
+  async deleteUserAsAdmin(_request: Request, response: Response, _next: NextFunction): Promise<void> {
     const { user_id } = response.locals
     if (typeof user_id !== "number") throw new Error("Parsed `user_id` not found.")