mediawiki/extensions/DiscussionTools: main (log #560441)

sourcepatches

This run took 20 seconds.

From 4a02b90c354a4c7baf99d2772ab30242ce6af306 Mon Sep 17 00:00:00 2001
From: libraryupgrader <tools.libraryupgrader@tools.wmflabs.org>
Date: Mon, 20 Dec 2021 07:00:27 +0000
Subject: [PATCH] build: Updating mediawiki/mediawiki-phan-config to 0.11.1

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

diff --git a/composer.json b/composer.json
index 62d0c75..3fa97a9 100644
--- a/composer.json
+++ b/composer.json
@@ -1,7 +1,7 @@
 {
 	"require-dev": {
 		"mediawiki/mediawiki-codesniffer": "38.0.0",
-		"mediawiki/mediawiki-phan-config": "0.11.0",
+		"mediawiki/mediawiki-phan-config": "0.11.1",
 		"mediawiki/minus-x": "1.1.1",
 		"php-parallel-lint/php-console-highlighter": "0.5.0",
 		"php-parallel-lint/php-parallel-lint": "1.3.1"
-- 
2.20.1

**purged**
Source code is licensed under the AGPL.