From a84e4b5ab4cdbbb241004e5c1621b42490e6ba94 Mon Sep 17 00:00:00 2001
From: 3D-I <480857+3D-I@users.noreply.github.com>
Date: Mon, 23 Sep 2019 18:54:45 +0200
Subject: [PATCH] [ticket/16144] Provide extra fallback to board's default
 style for $user

PHPBB3-16144
---
 phpBB/phpbb/user.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/phpBB/phpbb/user.php b/phpBB/phpbb/user.php
index e6e8e7f167..9817e40edb 100644
--- a/phpBB/phpbb/user.php
+++ b/phpBB/phpbb/user.php
@@ -314,7 +314,7 @@ class user extends \phpbb\session
 			}
 		}
 
-		// This should never happens
+		// This should never happen
 		if (!$this->style)
 		{
 			trigger_error($this->language->lang('NO_STYLE_DATA', $this->data['user_style'], $this->data['user_id']), E_USER_ERROR);