build: Updating mediawiki/mediawiki-phan-config to 0.15.0

Change-Id: I0a3a36e7aa4d0e0850cf7774403f6d11d8957fe9
wikimedia · Dec 18, 2024 · c309aa7 · c309aa7
1 parent 594e7a6
commit c309aa7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git 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
@@ -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 = [];
 			}