From c309aa7ef778ec3552fc73702eff2a7ff6ae401b Mon Sep 17 00:00:00 2001
From: libraryupgrader <tools.libraryupgrader@tools.wmflabs.org>
Date: Sat, 14 Dec 2024 02:22:56 +0000
Subject: [PATCH] build: Updating mediawiki/mediawiki-phan-config to 0.15.0

Change-Id: I0a3a36e7aa4d0e0850cf7774403f6d11d8957fe9
---
 composer.json         | 2 +-
 src/Backend/Utils.php | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/composer.json b/composer.json
index 0cf113d7..35f5e8f5 100644
--- a/composer.json
+++ b/composer.json
@@ -19,7 +19,7 @@
 	"require-dev": {
 		"ext-curl": "*",
 		"mediawiki/mediawiki-codesniffer": "45.0.0",
-		"mediawiki/mediawiki-phan-config": "0.14.0",
+		"mediawiki/mediawiki-phan-config": "0.15.0",
 		"mediawiki/minus-x": "1.1.3",
 		"php-parallel-lint/php-console-highlighter": "1.0.0",
 		"php-parallel-lint/php-parallel-lint": "1.4.0",
diff --git a/src/Backend/Utils.php b/src/Backend/Utils.php
index adc4c113..f99df864 100644
--- a/src/Backend/Utils.php
+++ b/src/Backend/Utils.php
@@ -328,6 +328,7 @@ public static function getCentralIdFromLocalUser( User $user ) {
 		// global ID required via hook
 		if ( $wgMWOAuthSharedUserIDs ) {
 			// T227688 do not rely on array auto-creation for non-stdClass
+			// @phan-suppress-next-line MediaWikiNoIssetIfDefined Phan confused by magic methods, maybe?
 			if ( !isset( $user->oAuthUserData ) ) {
 				$user->oAuthUserData = [];
 			}