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

wikimedia · Dec 19, 2024 · 0ad5a39 · 0ad5a39
2 parents 44a150b + 3c77132
commit 0ad5a39
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/composer.json b/composer.json
@@ -43,7 +43,7 @@
 	},
 	"require-dev": {
 		"mediawiki/mediawiki-codesniffer": "dev-master#fd6ecb5ffbe353507ca05387176db02f0f41f6fe",
-		"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",