From f12218c0dc344f33dcf80feab5c9416cbba94380 Mon Sep 17 00:00:00 2001
From: github-actions <github-actions@users.noreply.github.com>
Date: Wed, 5 Oct 2022 21:52:55 +0000
Subject: [PATCH] =?UTF-8?q?ci:=20=F0=9F=91=B7=20lint=20code=20to=20MediaWi?=
 =?UTF-8?q?ki=20standards?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Check commit and GitHub actions for more details
---
 includes/Partials/Header.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/Partials/Header.php b/includes/Partials/Header.php
index 6d4fbe07..bb89dd09 100644
--- a/includes/Partials/Header.php
+++ b/includes/Partials/Header.php
@@ -51,7 +51,7 @@ final class Header extends Partial {
 
 	/**
 	 * Get the user info template data for user menu
-	 * 
+	 *
 	 * TODO: Consider dropping Menu.mustache since the DOM doesn't make much sense
 	 *
 	 * @param $userPageData data-portlets.data-user-page