From 82896eff62c48e5f1483b6959d6ec1091157b533 Mon Sep 17 00:00:00 2001
From: Reedy <reedy@wikimedia.org>
Date: Sat, 5 Sep 2020 03:47:29 +0100
Subject: [PATCH] Ignore usage of $wgUser

Bug: T262110
Change-Id: Ia4a24d0216ce33d3ae915c12619c149d54d321b2
---
 includes/ForeignWikiRequest.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/includes/ForeignWikiRequest.php b/includes/ForeignWikiRequest.php
index 6a7f35b3f..a0eaa6660 100644
--- a/includes/ForeignWikiRequest.php
+++ b/includes/ForeignWikiRequest.php
@@ -66,6 +66,7 @@ class EchoForeignWikiRequest {
 	}
 
 	protected function canUseCentralAuth() {
+		// phpcs:ignore MediaWiki.Usage.DeprecatedGlobalVariables.Deprecated$wgUser
 		global $wgFullyInitialised, $wgUser;
 
 		return $wgFullyInitialised &&