From ed10de4929836f9864ac3d0d2b32040127831996 Mon Sep 17 00:00:00 2001
From: libraryupgrader <tools.libraryupgrader@tools.wmflabs.org>
Date: Sun, 9 Oct 2022 11:03:19 +0000
Subject: [PATCH] build: Updating mediawiki/mediawiki-phan-config to 0.12.0

Change-Id: Ib55f8796093b7fcab13069afbb45993de725d26b
---
 composer.json      | 2 +-
 includes/Hooks.php | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/composer.json b/composer.json
index 8983bc0..554843a 100644
--- a/composer.json
+++ b/composer.json
@@ -5,7 +5,7 @@
 	},
 	"require-dev": {
 		"mediawiki/mediawiki-codesniffer": "39.0.0",
-		"mediawiki/mediawiki-phan-config": "0.11.1",
+		"mediawiki/mediawiki-phan-config": "0.12.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"
diff --git a/includes/Hooks.php b/includes/Hooks.php
index 931ee5e..e7ac1b3 100644
--- a/includes/Hooks.php
+++ b/includes/Hooks.php
@@ -399,6 +399,7 @@ class Hooks {
 	 * Format an error in the `<templatestyles>` tag
 	 * @param Parser $parser
 	 * @param array $msg Arguments to wfMessage()
+	 * @phan-param non-empty-array $msg
 	 * @return string HTML
 	 */
 	private static function formatTagError( Parser $parser, array $msg ) {