wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-28 01:30:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

Ignore usage of $wgUser

Browse source 
Bug: T262110
Change-Id: Ia4a24d0216ce33d3ae915c12619c149d54d321b2
This commit is contained in:
Reedy 2020-09-05 03:47:29 +01:00
parent c1937cefb7
commit 82896eff62
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
includes/ForeignWikiRequest.php
View file

@ -66,6 +66,7 @@ class EchoForeignWikiRequest {
} }
protected function canUseCentralAuth() { protected function canUseCentralAuth() {
// phpcs:ignore MediaWiki.Usage.DeprecatedGlobalVariables.Deprecated$wgUser
global $wgFullyInitialised, $wgUser; global $wgFullyInitialised, $wgUser;
return $wgFullyInitialised && return $wgFullyInitialised &&