From 4deefe4d176d1bae736003bc5cc3b0f015aa0050 Mon Sep 17 00:00:00 2001
From: "James D. Forrester" <jforrester@wikimedia.org>
Date: Fri, 2 Feb 2024 11:03:36 -0500
Subject: [PATCH] build: Upgrade mediawiki/mediawiki-phan-config to 0.13.0

Change-Id: Iee9d20b4ada7e2dde4f9ef5bef744ed429f92397
---
 composer.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/composer.json b/composer.json
index f76a8be3d..2501c7dd9 100644
--- a/composer.json
+++ b/composer.json
@@ -34,7 +34,7 @@
 	},
 	"require-dev": {
 		"mediawiki/mediawiki-codesniffer": "41.0.0",
-		"mediawiki/mediawiki-phan-config": "0.12.1",
+		"mediawiki/mediawiki-phan-config": "0.13.0",
 		"mediawiki/minus-x": "1.1.1",
 		"php-parallel-lint/php-console-highlighter": "1.0.0",
 		"php-parallel-lint/php-parallel-lint": "1.3.2"